t u(k) = 134*k - 31. Let h be u(-2). Which is smaller: h or i?
h
Let f(a) = a**2 - 8*a + 7. Let d be f(7). Suppose d = -0*q - 3*q + 6, -4*q - 1 = -3*m. Let b be (-7 - -3 - -3)/m. Is -2/13 less than b?
False
Let o(l) = -l**3 + 16*l**2 + 2*l + 13. Let m be o(16). Let c be ((-1)/15 + -1)/(126/m). Let z = 38/63 + c. Which is bigger: -4 or z?
z
Suppose 52*q + 8 = -11 + 19. Is q smaller than -2/11325?
False
Let b be 11/22*-6*(-40)/12. Which is smaller: 18 or b?
b
Let o be 2/((-12)/(-15))*(-53)/((-58565)/(-4488)). Which is bigger: o or -10?
-10
Let r be ((-4)/128)/(124/30 - 2/15). Suppose 1 + 1 = -2*v. Is r less than or equal to v?
False
Let g = 22459 - 23106. Which is smaller: g or -646?
g
Let k = 369.8 - 369.6. Is -2561 bigger than k?
False
Let m = 96698 + -8702717/90. Is 2 >= m?
True
Suppose 2*x - 16 = 0, p + 103 = 4*x + 71. Which is smaller: p or 0.00786?
p
Let v(z) be the second derivative of -4*z**3/3 + 9*z**2/2 - 160*z. Let o be v(1). Do o and 2/167 have different values?
True
Suppose -p + 5 = -0*q - 2*q, 4*p = 4*q + 20. Let c = -1027 + 1023.643. Let d = c + -0.043. Which is smaller: d or q?
d
Let y = -2411 + 1483. Let b be (y/64)/(1/(-4)). Is b < 172/3?
False
Let v = -4530685/21811608 + -1/259662. Let h = 15/104 + v. Which is greater: 0 or h?
0
Let m = -0.61 + 1.43. Let i = m - 1.02. Let v be (-5)/(-18) + -5 + (-203)/(-42). Is i <= v?
True
Suppose o = 2*k - 1436, 4*o + 7 = 5*k - 3589. Let i = 720 - k. Which is smaller: 3 or i?
3
Let t(s) = 3*s**3 - s**2 + 2*s. Let m be t(1). Suppose 0 = d + 3*p + m, 4*p + 18 - 2 = 0. Which is smaller: d or 15?
d
Let i be (-464)/18 - (-2 + (-60)/(-27)). Let h = 18.1 - -63.9. Let t = 82 - h. Which is smaller: t or i?
i
Let x = -0.01 - -2.01. Let p = -33 + x. Let v = p - -31.2. Are 5 and v equal?
False
Let z(u) = -254*u + 462. Let j be z(2). Is -283/6 greater than or equal to j?
False
Let d be ((28/(-6))/(322/(-276)))/(1 - -1). Is 21/19 <= d?
True
Let s = 180 - 179.8. Let g be ((-4)/(-130))/((-8)/(-40) + -1). Which is bigger: g or s?
s
Suppose 0 = 5*t - 21 - 84. Let k be (-1 + 1 + -53)/(36 + -37). Let s = 74 - k. Is s at most as big as t?
True
Suppose -1 = s + 4*r, 5*s - 10*s - 3*r = 22. Let i be (-1*(4 - s))/((-3)/(-16)). Does i = -47?
False
Let s be (-4 - 0) + 570/95. Do 144 and s have different values?
True
Let z be (-3*(-44)/(-165)*(-10)/(-12))/6. Which is bigger: 1.5 or z?
1.5
Let y be 4/1 - (-4 - -2). Let t be 65/78*(-2 - -89)*-3. Let r = t + 224. Is r equal to y?
False
Let u = -1356 + 82704/61. Let z = u + 299/1830. Is z > 0?
False
Let q = 37.2 - -5.8. Let i = -1.8 + 4. Let h = -2.2 + i. Which is smaller: h or q?
h
Let r = 1/979 - -620/2937. Let u = r - -5/11. Let o = 3585 - 3583. Is o less than or equal to u?
False
Let d = 88997/35 + -2543. Is -1 > d?
False
Let i be (-105)/5*((-1208)/((-56)/7) - -1). Is -3190 at most as big as i?
False
Let n = -59015012/14535 - -20301/5. Is n at least as big as 0?
False
Let t be 16 - (-4 + 21 - 600). Is 0.1 bigger than t?
False
Let a(x) = 2*x**2 + 11*x + 54. Let y be a(-10). Let n be -3 - (-6 + y/14). Is -8 at most as big as n?
True
Let w = 39429 + -39403. Let q(n) = -n**3 + 5*n**2 + 10*n - 6. Let j be q(7). Let p = -8 - j. Is w bigger than p?
False
Let v = -3.654 + -146.346. Are -0.08 and v unequal?
True
Suppose 3*g - 4*c = -339, -51 = 4*g + 3*c + 401. Which is greater: g or 11?
11
Suppose -5*q - 343 + 363 = 2*w, -8 = -2*q. Do 2/2031 and w have the same value?
False
Let l = 2/9079 - -72462/771715. Which is bigger: l or 2.2?
2.2
Suppose -112 = 8*c - 12*c. Let d(k) = k**2 - 30*k - 24. Let p be d(c). Is p <= -80?
True
Suppose 0 = -14*d + 10*d - 36. Let y = -15129/5 + 3016. Does y = d?
False
Let t(h) = -16*h + 7*h**2 + 9*h - 8 + 8*h - 2*h**3. Let d be t(5). Let l = d + 46. Is -32 > l?
False
Let h(y) = y**2 - 727*y - 3659. Let t be h(-5). Are t and -23/1044 nonequal?
True
Let t(l) = l**2 - 9*l + 5. Let x be t(9). Let z(o) = -2*o**2 + 2*o + 22. Let f be z(-4). Let q = -8 - f. Is q bigger than x?
True
Let z = -639/10 - -8157/130. Which is smaller: -2 or z?
-2
Let y be ((-5)/(-6) - 1)*-4 - (-1586)/(-2379). Is -1/11724 at most as big as y?
True
Let d be -117 + 21 + -17 + 7. Which is smaller: d or -108?
-108
Suppose m + 1690 = 24*x - 19*x, 0 = 2*m + 4*x + 3352. Let j be (-78956)/47 - (-2 - -2). Let w = m - j. Which is smaller: -1 or w?
-1
Let l be 4 + (-12)/((-20)/5). Suppose -23 = -4*g - l. Let v be (-24*8)/g + -2. Is -51 smaller than v?
True
Let x = 429/488 - 46/61. Is x > 66?
False
Suppose -13*v + 10015 = -3*y - 11*v, 10 = 2*v. Let w = y + 376858/113. Which is smaller: w or -1?
-1
Suppose -20*c + 13*c + 28 = 0. Suppose -3*a - 127 = -g + 90, 0 = c*g + 3*a - 808. Which is greater: g or 204?
g
Suppose 2*u - 5*d + 17 = -5, -4*u - 20 = -4*d. Let w = 481/5334 - 186/889. Which is greater: w or u?
w
Let o be (-33)/(-110) - (303/60 - 5). Is 5382 greater than o?
True
Suppose 3*v = 2*v. Let x = -0.107 - 0.593. Is v <= x?
False
Let y = 819790/49 + -16729. Which is smaller: 0 or y?
0
Let t = 2 - 0. Let j be (-197 - -3)/(t - 48/10). Let m = j - 69. Is -3/2 smaller than m?
True
Suppose -i + 616 = -3*h, -3*i + 612 = 2*h - 5*h. Let z = h - -1852/9. Is 8 at most z?
False
Let s = 215/323 - 16/19. Suppose -5*o + 25 = 0, -26*d + 15 = -22*d - o. Suppose -17*i = -d*i - 12. Which is bigger: s or i?
i
Let u = 71011/11060145 - 6/9103. Which is smaller: 1 or u?
u
Let s be 406/(-10)*(-18)/(-162). Let v = -9/2 - s. Which is smaller: 4 or v?
v
Suppose 28*s - 33 - 51 = 0. Suppose -s*n - 44 = -2*n + g, -n - 50 = 3*g. Is -41 smaller than n?
False
Let l(j) = 2*j**2 + 24*j - 128. Let o be l(7). Suppose 378 - o = -8*t. Do t and -32 have different values?
True
Let n = -2544 + 2544. Is n bigger than -711?
True
Let y be (-2 - 16/(-8))/(-2 - -1). Let p be (y + -1)/(-1 + 2). Which is bigger: p or 6/17?
6/17
Suppose -3*s - 7 = -22. Let y be 12/105 + (-2)/s. Let n be 1*(-1)/(3/10). Is n smaller than y?
True
Let k = 167.218 - 167. Let t = k - 0.318. Which is smaller: -3.8 or t?
-3.8
Suppose -169*j + 171*j + 174 = 0. Let u = j + 72. Let k(v) = 2*v + 28. Let t be k(u). Is t less than -13/6?
False
Suppose -51 - 43 = -2*a + 4*a. Which is greater: a or -37?
-37
Suppose -g + 4*y + 19 = 0, -2*g = 2*g + 2*y - 130. Let s be (2 + (-10)/4)*(-30 + g). Is s greater than or equal to -0.3?
False
Suppose -5*r = -10*r - 5. Let o = 661003/246 - 2687. Let d = -109/82 - o. Which is smaller: d or r?
d
Let t = -18/1961 + -23999/162763. Which is greater: -1 or t?
t
Suppose 5 - 6 = a. Let v = 7247 + -28987/4. Which is smaller: v or a?
a
Suppose 4*u = 4*k - 380, k + 5*u - 100 = u. Let m be 24/k + ((-51)/396)/1. Are m and -1/4 non-equal?
True
Suppose 14*k - 15*k - n + 7 = 0, 2*n + 6 = 3*k. Suppose -5*t + 4*i = -4*t + 61, 0 = -4*t + k*i - 208. Which is greater: -51 or t?
t
Let l = -23.95293 + -0.04707. Let b = 0.52 + 0.18. Is b >= l?
True
Suppose -7*m - 81 - 171 = 0. Let a be (2 - 75) + (4/(-1) - -1). Let l = 39 + a. Which is smaller: l or m?
l
Let l = -125 - -122. Suppose 3*c + 69 = -3*a, 0 = 4*c + 2*a + 33 + 65. Let z be l + 20/c - -3. Which is smaller: z or 0?
z
Suppose 0*r - 28 = 2*r. Let l be (-10)/35 + ((-32)/r - 3). Is 5/72 bigger than l?
True
Let v(g) = 6 - 7*g + g**3 + 37*g**2 - 37*g**2. Let n be v(4). Let x be (-217)/n*5 - (-2)/(-12). Do -25 and x have the same value?
False
Let r be 132/(-396)*(922 + -1). Which is smaller: -330 or r?
-330
Let l = -178826/370097277 - 1/61611. Which is greater: l or -1?
l
Let s be (520/(-60))/(-26)*3/(-9). Which is smaller: s or -0.0681?
s
Let g be 1/3 - (-36232)/177. Let q(k) = 19*k - 175. Let z be q(20). Let j = g - z. Which is smaller: j or 1?
j
Suppose v + 2*m + 611 = 0, -3*v - 3*m + 477 = 2289. Are -589 and v non-equal?
True
Suppose -3*l = -92 + 41. Suppose 3*b + 33 = -2*f, -5*b + 7 = 3*f + 61. Let y(c) = c**3 + 8*c**2 - 12*c - 11. Let x be y(b). Which is greater: x or l?
l
Let t be ((-3)/(-1))/(6/260). Let j be 220*(-17)/(-28) + ((-96)/(-28) - 4). Do j and t have different values?
True
Let q be 1 - 152*((-6552)/(-160))/(-21). Which is bigger: 296 or q?
q
Let h(z) = -70*z**2 + 1469*z + 21. Let q be h(21). Does 12/835 = q?
False
Suppose -5*x - 380 = 3*h, 29*h = 34*h - 2*x + 685. Are h and -132 nonequal?
True
Let g = -12/287 + 110/16359. Let x be 6/(-21) + ((-27)/(-21) - -1). Suppose 2*p - 21 = p 