 = 52, b + 2*a + 0*a = -28. Let v = -10 - b. Which is bigger: 15 or v?
15
Let j = 16 - 24. Let g = j + 83. Are 76 and g non-equal?
True
Let t = -94 + 96. Suppose 35 = t*v + 23. Let u be (-4)/(-30)*v + 8/(-10). Which is greater: u or -3/17?
u
Let z(o) = -1009*o - 789. Let h be z(3). Is h equal to -3816?
True
Let o be (-698)/(-3) - 30/45. Suppose -4*n + 4*s = o, 5*s = 2*n - 7*n - 260. Is 2/7 at least n?
True
Let q be (10784/160)/(((-2)/(-5))/2). Which is greater: 3034/9 or q?
3034/9
Suppose 8*h + 0*h = 0. Suppose -8*p + 189 + 275 = h. Is 58 greater than p?
False
Let l be 4/(-1) + 22198/5550. Let w = -2/75 + l. Let i be 7/21 + 2/(-6). Is i smaller than w?
False
Let k(n) = 118*n**2. Let f be k(3). Suppose 149 = -11*d + f. Is 83 at most as big as d?
True
Let f = 32 - 33. Let o be -21 + ((-25)/5 - f). Let s = o + 21. Is s != -2/7?
True
Let j = -130 + -314. Let g = -422 - j. Which is smaller: g or 12?
12
Let p = -1871/8426 - 2/383. Suppose 4*z = -13*z. Which is greater: p or z?
z
Let h = 334 - 122. Which is bigger: h or -0.09?
h
Let f be -1564*(75/(-1584))/5. Let s = 162/11 - f. Which is bigger: s or 0?
0
Let n = -19943 - -18908. Are -1036 and n nonequal?
True
Suppose 15*h - 69 - 6 = 0. Let u(p) = 2*p - 11. Let z be u(8). Suppose -4*j + n + 21 = 0, -2*n = z*j - 7*n - 30. Is h at least as big as j?
True
Let f = 2795 - 2765.164. Let s = 0.164 + f. Which is smaller: s or 0.3?
0.3
Let a = 4447/56 - 793/7. Which is smaller: a or -33?
a
Let m = 78 - 89. Suppose 7*t = 4*t + 15. Suppose 2*v + t*n = -2, 5*v + 7*n + 39 = 3*n. Is v less than or equal to m?
True
Let p = 0.1 + -2.1. Let y = -0.009 - -0.034. Let u = 0.875 + y. Is u greater than or equal to p?
True
Suppose -8*p = -2*f + 692, -1539 = -3*f + 3*p - 447. Which is smaller: 373 or f?
f
Let w = 3/688967 - 34441460483/35137317. Let v = w + 980. Which is bigger: v or -1?
v
Suppose -44 - 4 = -4*r. Suppose -r*m + 16*m = -52. Let n = m + 5. Which is greater: -3 or n?
-3
Let z be ((-6)/9)/(8/12). Let x be (36/(-27))/(z/21). Let g = -199/7 + x. Which is smaller: -1 or g?
-1
Let y be 24/60 + ((-12)/(-642))/(1060/(-22664)). Are y and 1 non-equal?
True
Suppose 2*q - v = -6 + 8, 0 = 2*q - 3*v + 2. Which is smaller: 0.1329 or q?
0.1329
Suppose 56 = 4*u + 44. Suppose 2*c - 2*r - 10 = 0, 2*c - c + u*r = -15. Let t = -60058/55 + 1092. Which is bigger: c or t?
t
Let g = -5.64 - -3.376. Let s = g - -2.29. Is s at least 1?
False
Let t(a) be the first derivative of 2*a**3/3 - 37*a**2/2 + 16*a - 42. Let i be t(13). Is i greater than or equal to -127?
True
Let q(k) = -16*k**2 + 24*k + 113. Let i be q(-4). Which is greater: -230 or i?
-230
Let g(a) = 71*a + 3309. Let b be g(-45). Which is smaller: b or 126?
b
Let z = -1294 + -1265. Which is smaller: z or -1?
z
Let q be 14 - 10 - (-92)/2. Suppose -3*l = 4*s + q, -4*s + 99 = -5*l + 5. Let p be l/12 + (-74)/(-8). Is p equal to 8?
False
Let c = -1488/5183 - -34/71. Which is smaller: -1 or c?
-1
Suppose 2*r - 806 - 52 = 0. Suppose -123836 = -115*j - 460*j + 122839. Is r > j?
False
Let f = -82 - 20. Let v = 1733/17 + f. Which is smaller: 1 or v?
v
Let a = 38384.4106 + -38308.3. Let x = -0.0894 - a. Let d = x - -76. Is d != 8?
True
Let t = 1.8 + 566.2. Is t > 0.2?
True
Let v = 4859 + -3263. Which is smaller: v or 1597?
v
Let t(u) = -12*u - 28. Let f be t(-23). Let x = f + -169. Is 77 != x?
True
Suppose -7*c + 2*c + 5 = 0. Let n be 11 + c*(-6 - -3). Let x(m) = 2*m**3 - 3*m**2 - 103*m - 7. Let y be x(8). Which is greater: y or n?
n
Suppose -12*f = -16*f. Suppose 5*w + f - 5 = 0. Let u be 0 - (w - (-28)/(-20)). Which is smaller: u or 0?
0
Let b = 2971.2 + -2974. Is b at most 0.1?
True
Suppose 10*b + 8*b - 432 = 0. Suppose 3*k = 4*s + b, 0 = s + k - 1. Which is bigger: 9 or s?
9
Let x(c) = -c**3 - 5*c**2 + 1. Let h be x(-5). Let a(w) = -16*w - 2. Let o(j) = 1. Let l(p) = -a(p) - 3*o(p). Let z be l(h). Which is bigger: z or 17?
17
Let j be ((-12)/(-78))/(((-4)/6)/((-46)/(-552))). Which is smaller: j or 0?
j
Let s be (25*(-48)/(-1800))/(4/(-6)). Is -114/737 at least as big as s?
True
Let t be (-110929)/1494990 - 16/(-216). Is t less than -1?
False
Suppose -85*p + 90*p = -10. Let s be (7/(-1918))/(p/(-4)). Is s <= -1?
False
Let v = -9.2 + 7.2. Let h = -0.6 + -3.4. Let m = h - v. Which is smaller: -0.1 or m?
m
Suppose -20*z = -45*z - 175. Let k be 5/(-4) + z + (-119)/(-8). Is 6 < k?
True
Suppose 8*h - 9 = -17 + 32. Is h at most as big as 95?
True
Let v = -1485807/37 - -40157. Which is smaller: -87 or v?
-87
Let f(c) = 4*c - 15. Let a be f(5). Suppose -31 = p - a*n, 5*p + 3*n + 28 + 71 = 0. Let i(s) = 5*s + 14. Let v be i(-7). Is p at least v?
True
Let a be (2/(-364))/((-67375)/67354 + 1). Let b = 229/13 - a. Which is greater: b or -1?
b
Let z(u) = -2*u**2 + 147*u - 588. Let s be z(69). Which is smaller: -8 or s?
-8
Let k(a) = 3*a**3 + a + 1. Let v be k(-1). Let w = -419 + 421. Let h = v + w. Which is smaller: h or -2/55?
h
Let c(h) = 75*h + 57. Let d be c(8). Is 2623/4 <= d?
True
Suppose 267*n - 69 = 270*n. Which is bigger: 0.005 or n?
0.005
Let z(n) = n**3 + n**2 - 24. Let l be z(0). Let k(f) = -10*f**2 + 4*f + 5. Let b be k(-1). Let t be 5 + 249/b - 0. Does l = t?
False
Suppose 563*t - 4*d - 4424 = 567*t, 0 = t + 4*d + 1100. Which is greater: t or -1107?
-1107
Let k = 67/52 - 305/156. Let o = 62.122 + -0.122. Which is greater: k or o?
o
Suppose 4*l = x + 555, -x + 2*x + 3*l + 576 = 0. Is 1 at least x?
True
Let o(b) = 300*b + 5284. Let s be o(-39). Is s greater than -6416?
False
Let d be (6/(-15) + 5382/13480)*(12 + -2). Which is smaller: 1 or d?
d
Let u be (78/455)/(2/(-28)). Let d = 123 - 167.8. Let m = d + 45. Are m and u non-equal?
True
Let n(v) be the second derivative of -4*v**4/3 - v**3/3 + 7*v**2/2 - 36*v. Let h be n(3). Let c = -108 - h. Is c greater than or equal to 67/2?
True
Let g = -53 - -55. Suppose 4*j + 37 = -3*v, -g*v + 0*j - 17 = -5*j. Let w(s) = s**3 - 6*s**2 - s - 7. Let c be w(6). Which is smaller: v or c?
c
Suppose -5*x + 3*x + 4*z = -68, 5*x + 3*z = 157. Let t be (2128/1197)/(1/18). Is x at least t?
True
Let x = -0.2327 - -0.2017. Is x != -3?
True
Let t(l) = l**2 - 52. Let w be t(0). Let h(o) = -21*o**2 - 89*o + 29. Let d be h(-5). Is d >= w?
True
Let a be 8*(11 + (-17 - -8)). Suppose -5*o + 4*k - 2*k = 20, 0 = -o - 2*k - a. Is o <= -6?
True
Let p(h) = -h**2 + 13*h - 15. Let v be 5/(25/(-15)) + 8. Let l be p(v). Which is smaller: l or 47/2?
47/2
Let h be (4856/(-20))/(17/(-323)). Which is greater: 4614 or h?
4614
Let p = 1.792 + -1.792. Is p less than or equal to -9730?
False
Let b(h) = -2*h**3 - h**2 + h + 1. Let l be b(-1). Suppose -t = 2, 5*i - 4*t - 17 = -9. Suppose -4*g = 5*n + 45, g - 3*g + 5*n + 15 = i. Is g at most l?
True
Let q = -1343/1265 - -24/23. Let u(j) = -25*j + 51. Suppose -9*f - 14 = -16*f. Let o be u(f). Which is greater: o or q?
o
Suppose 0 = 20*r - 36*r. Let g be 2/8 - 4/400. Which is bigger: g or r?
g
Suppose -12*t + 37 + 35 = 0. Let c be 0 + t/14 + (-1782)/189. Do c and -0.5 have the same value?
False
Let y be 2 + (1 - (-73)/(-25)). Suppose 4*l + 2*u - 1012 = u, -2*u = l - 246. Let d = l - 255. Does d = y?
False
Let l = -17942 + 17604. Which is smaller: -2/15 or l?
l
Let o = -17433 - -17439. Which is smaller: o or 242/43?
242/43
Let l = -8069 + 637465/79. Let z = 23/316 + l. Suppose 2*s - 40 = 6*s. Which is bigger: z or s?
z
Let w = -3137 + 3136.8. Which is smaller: 5/121 or w?
w
Suppose -106*u + 32*u - 65*u = -21545. Let g be 1 + 14/4*44. Do g and u have the same value?
True
Let s = -9446974/693 + 13632. Let i be ((-2)/1824)/((-3234)/107912). Let l = s + i. Do -1 and l have the same value?
False
Let r = -19923/17 + 1171. Suppose 3*n - 20 = -2*n - 5*y, -2*y = -3*n - 13. Which is smaller: r or n?
n
Let r = 739 + -753. Let n be (-6)/r + (-17322)/3913 + 4. Is n greater than 0?
True
Let i(y) = -y**2 + 18*y - 61. Let g be i(3). Does g = -191?
False
Let v = -259.04064 + -0.05936. Let s = v - -259. Is s at least as big as -2/9?
True
Let t be 0 + 20013/57 + -2. Let p = -349 + t. Let s = -3376 - -3372. Is s at most p?
True
Let h be 84/11214*((-2928)/(-20))/4. Which is smaller: 0 or h?
0
Suppose -25*x - 2106 = 24*x - 43*x. Is x at least as big as -352?
True
Let l = 0.5208 + -0.8208. Is l greater than or equal to 936?
False
Let u(a) = 2*a**2 + 7*a - 4