 < -301?
False
Suppose -11*t + 1092 = 2*t. Let b be 50/(-4)*t/(-70). Suppose 22*i = b*i + 7. Is i greater than 9/5?
False
Let p = -14994 + 14994.1. Is p not equal to -18/215?
True
Let p = 1282 - 1347. Is 3 less than p?
False
Let u = 236 - 152. Let t = 84.1 - u. Is 22 at least as big as t?
True
Let j(b) = -2*b**2 + 51*b - 15. Let v be j(25). Suppose -3*d = 5*q - 70, -7*d + q - 62 = -v*d. Let f be -4 + 2 - d/(-2). Which is smaller: -5 or f?
-5
Let u = 50 - 50. Suppose -2 = -2*f + 4*y, -4*f + 2*y - 2 + 12 = u. Let h be (-2*(-10)/(-15))/(1/f). Is -7 > h?
False
Let k = -118 + 118.57. Let o = -1.43 - k. Is o less than or equal to -2/3?
True
Suppose 5*q + 273 - 293 = 0. Suppose -q*z - 106 = 118. Is -53 greater than z?
True
Let i = 18625 - 409609/22. Which is greater: i or 7?
7
Let l(p) = 4*p + 6. Let w be (16/12)/4*-9. Let d be l(w). Let a be (21*(-10)/15)/2. Is a >= d?
False
Let w be (-1 - 165795/(-202235)) + 6/33. Let y = w - -88062/113987. Is 1 less than or equal to y?
False
Let p = -53 + 48. Let o = p + -58. Let y = 251/4 + o. Is -4 bigger than y?
False
Suppose 13*o + 5477 + 1096 = -889. Do o and -575 have different values?
True
Let z(x) = -8*x + 186. Let j be z(0). Suppose 2 = -n + 2*y + 56, 4*n + 2*y - j = 0. Which is smaller: 44 or n?
44
Let c be -2*((-126)/12 - -3). Suppose -4*q = -5*h + c, -5*h = 4*q - 16 + 1. Which is smaller: q or 1/19?
q
Let j(u) = u**3 - 7*u - 18. Suppose -4*x + 42 = 3*x. Let r be j(x). Let s be ((-7)/14)/((-16)/r). Which is smaller: s or 5?
s
Let b be 103/((-18)/45 - (-86)/190). Which is smaller: b or 1959?
b
Let m = -12502 + 162379/13. Which is greater: -10 or m?
-10
Let t = 55552/55 + -1010. Suppose 2*h + 0 = 4*c - 4, -c = 5*h + 21. Which is smaller: t or c?
c
Let f = -32 + 35.1. Let s = f + -3. Let t = 0.6791 + -1.6791. Which is bigger: s or t?
s
Let w = -654 - 1151. Which is bigger: w or -1804?
-1804
Let v = 5/108 + 71/3132. Let f be (-122)/2 - 3/((-15)/(-20)). Let p = -65 - f. Which is bigger: v or p?
v
Let k = -7 + 11. Let g(q) = -q**2 + 78*q - 1475. Let h be g(46). Which is greater: h or k?
k
Let y be -66*628/(-2328) + -19. Is y less than -1?
True
Let o = 7003 + -1057449/151. Let r = -20711/906 + o. Which is smaller: -24 or r?
-24
Let b(k) = -k**2 + 5*k + 10. Let c = 112 - 110. Suppose -37 = c*s - 53. Let i be b(s). Does i = 0?
False
Let r be ((-4)/(-34))/((-4)/7954) + 185 + -192. Is r greater than -240?
False
Let o = -365 - -224. Let a = 76 + o. Let u = -64 - a. Which is smaller: u or 22?
u
Let u = 3240 + -4484159/1384. Is 0 < u?
True
Let i = 8.942 + 4.94. Let p = -0.118 - i. Which is smaller: -4 or p?
p
Let s = -49922 - -50103. Suppose -2*b + 308 - 1193 = -5*x, 5*x - 5*b = 870. Do s and x have the same value?
False
Let x = 11766 - 11768. Which is greater: x or -31/36?
-31/36
Suppose -o + 35 = 9. Let h(c) = 3372*c + 40492. Let j be h(-12). Is j at least o?
True
Let g = 4881 - 4881. Which is smaller: 1/513 or g?
g
Let h(f) = f**3 + 7*f**2 - 12*f - 7. Let q be h(-8). Let m(n) = n**3 + 11*n**2 - 17*n - 50. Let a be m(-12). Let x be a/q - 744/1910. Is 0 smaller than x?
True
Let g = 2794520/287 - 9737. Which is bigger: -5/7 or g?
g
Let u = -595.8 + 542. Let m = u - -21.8. Which is smaller: 0.4 or m?
m
Suppose -g - 4*l + 126 - 102 = 0, -g = -2*l - 18. Is g less than or equal to 565/27?
True
Suppose 393*f - 390*f - 12 = 0. Let b be -3 + f/(-12)*-12. Is 2/251 less than b?
True
Let c = -203.9749 - 0.0251. Let j = 204.06 + c. Which is smaller: j or -14?
-14
Let f = -15 + 18. Suppose 4*m - 292 = -3*n, f*m + 4*n - 229 = -17. Which is greater: 1/2 or m?
m
Let d(w) = -4*w + 16. Let z be 46/8 + (-3)/(-12). Let j(h) = -4*h + 16. Let b(i) = z*d(i) - 5*j(i). Let c be b(4). Which is smaller: c or 1?
c
Suppose 23*t - 30*t = 0. Suppose -23*b + 24*b - k - 12 = 0, t = -2*b - 2*k + 44. Suppose 3*d - 2*u - 45 = 0, -3*u = -3*d + 2*d + 8. Is b <= d?
True
Let f be 2*(-1)/2*2/(-262)*-2. Which is bigger: 0 or f?
0
Let g be (-3528)/(-140)*((-2145)/315 - 2/(-14)). Is g equal to -161?
False
Let a be (2 - (-48)/(-15))*5 + (-156500)/(-100). Is a > 1556?
True
Let j = 20697 + -20700.6. Is j bigger than 3/71?
False
Suppose -5*z + 88 = 2*b, 4*z - 3*z + 4 = 5*b. Let k be z/24 + (-1776)/2637. Which is smaller: 1 or k?
k
Let z = 53 - 7. Let a = -353 + 306. Let n = z + a. Is n less than -49?
False
Suppose 24*c + 24*c = 12*c + 21420. Which is bigger: c or 585?
c
Let n = -344736563578/907176585 - 1571/608435. Let i = n + 166/1065. Let l = 379 + i. Which is smaller: l or 1/4?
l
Let p = 238 - 238. Suppose -3*x + 2*s = -2*x - 415, p = 5*x - s - 2039. Is x smaller than 406?
False
Let i be (11 + -5 - 8) + 5/(23185/9273). Is 0 greater than or equal to i?
True
Suppose 918*d - 16050 = 888*d. Are 533 and d unequal?
True
Let c be (-11)/((-22)/20) - (-1 - -3). Suppose c*b - 358 = 154. Which is smaller: 66 or b?
b
Let i = 14.4 - -3.6. Let w be (-6)/63*1004 - 2/(-6). Let n = w - -95. Is n at most i?
True
Let j be 4*(-2)/(-4) + 1. Let u be 1/(j*(-5)/(-60)). Let p be (u/(-6))/((-20)/15). Which is bigger: p or 0.04?
p
Suppose -5*t = -3 - 27. Suppose -25*y + 46*y + 105 = 0. Let o be (t/(-15))/((-8)/y). Is -31/4 >= o?
False
Let g = -68109/4032328 + 3/30092. Is -1 less than g?
True
Let q be (-1222)/188 - 7/(-1). Is 3178 bigger than q?
True
Suppose -3*z = -4*t + 10, 0*t = z - 5*t + 18. Suppose z*x - 5*a = 16, 5*a - 24 = -5*x + 2*x. Suppose 4*m - x + 4 = 0. Is m bigger than 12/13?
True
Let u = 62826 + -62775. Let z(d) = d**2 + 2*d + 1. Let j be z(-3). Suppose 13 + 195 = j*v. Which is smaller: u or v?
u
Let v(d) = d**3 - 16*d**2 + 27*d - 36. Let c be v(18). Suppose -c = -9*j - 504. Is j smaller than 62?
False
Let r be 1/(-8)*-16*(-12)/113040. Is 0 < r?
False
Let u(d) = -3*d**3 + 6*d**2 + d - 7. Let x(h) = -h**3 + h**2. Let c(j) = -u(j) + 2*x(j). Let y be c(4). Let i be (3 + (-188)/60)*5. Is i less than y?
True
Suppose -4*l - 1017 = -3*v + 1084, -697 = -v + 2*l. Is v at most 707?
True
Let k be (-109 - 5)*-6*7/(-126). Is -73 bigger than k?
False
Let f be 32/68*(-22)/12. Let s = f - -198/85. Which is smaller: s or 2?
s
Let l = -100 - -81. Let x = l + 19. Let r(t) = -t - 3. Let h be r(x). Is h greater than or equal to -5/3?
False
Let d = 182 - 85. Let i = -57 + d. Let w be 8/2*190/i. Which is smaller: w or 18?
18
Let h = 577 - 582. Let q be (6/h)/(299/(-65) - -4). Which is greater: 129 or q?
129
Let b be (1/(-40))/((1/(-29))/(56/280)). Does b = -1?
False
Let x = 1759647118952/178907029455 + -4796/8152519. Let w = x + -560/57. Does w = 0?
False
Let h(k) = 2*k**2 + 8*k + 13. Suppose -3*p - 10*p = -78. Let a be 9/(-3 - p/(-4)). Let z be h(a). Which is smaller: 35 or z?
35
Let r = -171 + 180. Let m(h) = -4*h + 35. Let i be m(r). Is 44 bigger than i?
True
Let k = 1371 - 439. Let v = k + -938. Suppose 2*o + 29 - 3 = 0. Which is bigger: o or v?
v
Let i(o) = 2*o**3 + 3*o**2 - 4*o + 6. Let p(j) = -23*j + 18. Let x be p(3). Let c = 53 + x. Let f be i(c). Is 2/5 < f?
True
Suppose -4*f = -4*h - 36568, -30*f + 27*f = 4*h - 27468. Does f = 9146?
False
Let k be 20/(-3)*(-48)/40. Suppose h = 7 - k. Suppose -2*y - c = 2*c - 6, -5*c = -y - 23. Are h and y equal?
False
Let k be (2/(-4))/((-288)/(-576)). Which is smaller: -873 or k?
-873
Let z = -4632 + 4666.17. Which is bigger: z or 0.2?
z
Let f be (-4)/(-8)*-1 + 774/(-4). Let a = f - -1360/7. Which is smaller: a or 1?
a
Let k be 15*35/1050*76. Suppose 6*r = 3*r + 108. Which is bigger: k or r?
k
Let c(f) = -f**3 + 4*f. Let b be c(3). Let z = 173 + -191. Is b at most as big as z?
False
Let w = -37 + 36.8. Let t = 8.2 + w. Let j = -1.6 - -0.6. Is j greater than t?
False
Suppose -w - w - 102 = 4*m, -2*w - 6 = 0. Let k be ((3/(-34))/3)/(m/(-32)). Is k greater than 0?
False
Let w be 12/72*-7*(-12)/1232. Which is bigger: 0 or w?
w
Let b = -109832 + 137619508/1253. Which is greater: 1 or b?
1
Let y = 26287 - 26287. Which is smaller: y or 1/6452?
y
Let p(u) = u**2 - 10*u - 10. Let x be p(-14). Let t be ((-40)/(-1))/(13/(-106)). Let c = t + x. Which is bigger: -3 or c?
c
Let g = 189 - 215. Let z = g - -126. Which is bigger: z or 2/5?
z
Let x = 8254 + -8255. Are -48/325 and x unequal?
True
Suppose 3*w = 6*f - 23033 - 9112, 0 = -2*w - f - 21455. Is w equal to -10724?
False
Let c = -12 + 33. Suppose 4*y = 3*a - c, 4*y - 10 + 37 = 5*a. Suppose -k = -a*j - 13