2 or q?
q
Let h = 178 - 129. Suppose -l = -52 + 2. Let d = h - l. Is -1/22 at least d?
True
Let i(j) = 20*j**2 - 255*j - 55. Let p be i(24). Does p = 5347?
False
Suppose -31*t = -0*t + 166253. Which is smaller: -5362 or t?
t
Let v = 23063 + -23078.9234. Let o = -0.0766 + v. Is o less than or equal to -0.16?
True
Let j = 27075/46 - 13949329/23690. Are -1 and j nonequal?
True
Let w = -52 - -66. Let b be w/4*36/42. Let t be (-218)/5 - b/(-5). Which is greater: t or -44?
t
Let l be (144/(-21) - 6)*(-336)/9. Let c be ((-256)/l)/(62/5). Is c at most as big as 0?
True
Let s(g) = g**2 - 8*g - 61. Let z be s(13). Suppose -i = -3*x + 231, -z*x + 90 = 5*i - 199. Is 78 >= x?
True
Let p(j) be the third derivative of j**6/120 + 2*j**5/15 - 5*j**4/24 + 3*j**3/2 + 19*j**2 + 1. Let f be p(-5). Does f = 108?
False
Let z be (-13)/((-442)/(-4)) + (-195)/221. Is 1/3293 > z?
True
Let l = -1534/185 - -14622512/1763605. Which is bigger: -1 or l?
l
Suppose 0 = -u - u + 208. Suppose w = -4*c + u, c + 7 = w + 38. Let j = 86/3 - c. Does 1 = j?
False
Let o = -46.986 - 0.524. Let j = o + -0.49. Let w = j + 34. Which is bigger: w or -1/4?
-1/4
Suppose 12 = -0*w - 4*w + 4*y, -w - 4*y = 3. Let s = -326 - -321. Let d be (21/(-84))/(s/(-64)). Is w greater than d?
True
Let y be (-1680)/(-140) + (-1 + 4)/1. Which is smaller: -1/54 or y?
-1/54
Let c = -5485 - -5488. Is c equal to 1.98?
False
Suppose -5*j + 2*j = -5*m - 19, -2*m + 4*j - 2 = 0. Let d be (-1)/(-6) - (16587/54 + m). Is d equal to -301?
False
Suppose 136*q + 30 = 106*q. Which is greater: 13 or q?
13
Let l(h) = 125*h + 442. Let n be l(-51). Is n greater than -5932?
False
Let z be 1088/(-9) - (-2)/(-2). Let b = -123 - z. Let f(y) = -y**2 - 3132*y + 66211. Let w be f(21). Which is smaller: w or b?
w
Suppose c = -2*i + 7*i + 185, 4*c - 694 = -3*i. Let j = -174 + c. Does j = 13/6?
False
Let h = 743 + -742.89. Let x = 46 - 45.86. Which is bigger: x or h?
x
Let j = -14 - -26. Let o be 2/7 - (-3265936)/269640. Let y = o - -2/963. Which is smaller: y or j?
j
Suppose 57*a + 2313 + 1257 = -13*a. Do a and -56 have the same value?
False
Let w = 109 - 106. Let k be (w + 0)/3 - (6 + -7). Suppose 1 + 2 = 3*l. Is k equal to l?
False
Let c be (-63)/1470*(-28286)/(-954). Let d = c + 3/742. Is 0 bigger than d?
True
Suppose -6*h + 10080 = -h + 43970. Which is smaller: h or -6779?
-6779
Suppose 21476 = -31*y - 28*y. Is y at most -364?
True
Suppose 4*h - x - 205 = -3, 4*x = -h + 59. Let w = 1408170 - 1408173. Which is smaller: h or w?
w
Let i = 1160 - 4426. Which is bigger: -3265 or i?
-3265
Suppose 25 = 7*h - 87. Let z = 21 - h. Suppose 3*x = 4*u - 35, 2*x - z*u + 0*u = -28. Is -10 at most x?
True
Suppose -318 - 837 = 3*x. Let a = x - -384. Is a smaller than 3/7?
True
Let g = 0.46 - 309.46. Let z = g - -310. Let i = 40.2 - 5.2. Is z at least as big as i?
False
Let s = 1.562 + 0.048. Let m = s - 1.61. Is m less than 35?
True
Let p = -188.5 - -188.3. Which is greater: p or -0.0012?
-0.0012
Let n = -23.496 - -23.596. Which is smaller: n or -2236/3?
-2236/3
Let y(o) = -o**3 + 16*o**2 + 30*o + 20. Let i be y(16). Does 501 = i?
False
Let g(z) = 2*z**2 + 16*z + 65. Let y be g(-13). Let d = y - 275. Which is greater: d or -78?
-78
Let l = -165 + 76. Let h = -89.07 - l. Which is bigger: 9 or h?
9
Let c be -2*2*1/(-4). Let v be (((-60)/175)/6)/(-6). Which is bigger: c or v?
c
Let h(u) = u**2 - 5*u. Let d be h(5). Suppose d*q - 195 = 5*q. Let n = 42 + q. Is n bigger than 6/11?
True
Let s = 7009811/787 + -8907. Let c be (-8051760)/2153232 + (0 - -1 - -3). Let d = c + s. Which is smaller: 1 or d?
d
Let c = -45.74 + -2.26. Let b = c + 47.9. Let t = 1156/11 + -105. Is b less than t?
True
Let n be 0 - (-10)/(-24)*33. Let x = -272/35 + -781/140. Let h = x - n. Is h <= 2/7?
False
Suppose 13*z - 8 = 18. Suppose -m - z*x = -11 + 35, x = 4*m + 60. Is m greater than -2/5?
False
Let b = 17.55 - -772.45. Let x = 647 - b. Which is smaller: 2/7 or x?
x
Let n be (-1*(-15)/45)/(3/801). Which is greater: n or 76?
n
Let j = 1.79 + -3.01. Let m = 177.78 - j. Is -1/4 >= m?
False
Let o(h) = h + 29. Let v be o(-16). Suppose -7*n + 8 = -v. Suppose 0 = -n*g - 8*g - 132. Which is bigger: 0 or g?
0
Suppose 0*b + 2*c - 462 = 3*b, 0 = -5*b + 4*c - 770. Let f = b - -151. Which is greater: f or 34?
34
Suppose 4*o - 3 = o. Let c = -2/2143 + 62185/40717. Let z = c - 976/627. Which is greater: o or z?
o
Let p = -0.269 - 1.661. Let w = p - -1.75. Is -0.1 at most as big as w?
False
Let w be ((-12)/(-8) - 22942/20) + 6/10. Is w > -1145?
False
Suppose j = -2*j - 2*t + 30, 0 = -4*j + 5*t + 63. Let n be j/15 - ((-1872)/(-15))/6. Let l be (-15)/n*(-8 - -4). Is l at most -3?
True
Let o = 0.118 - -0.935. Let x = 1.1 - o. Is x bigger than 1?
False
Suppose 4*h + o - 119 = 0, 5*o - 6 = 25*h - 26*h. Is 5 greater than or equal to h?
False
Suppose 2*t - 3*c = 2567, 107*t - 112*t + 6389 = 2*c. Which is smaller: t or 1280?
t
Let i = -1.2 - -0.2. Let q = 2370 - 90061/38. Which is bigger: q or i?
q
Let x = -3.47608 + -0.02392. Which is greater: 0.1 or x?
0.1
Suppose -o = 34 - 25. Let z be 6*(o + (-340)/(-38)). Which is bigger: -3 or z?
z
Suppose 14*f - 3*f = 75999. Let w = f - 131241/19. Is 3 less than or equal to w?
False
Let f be -2 - (5/60 - 55/(-60))*-3. Is f less than or equal to -1/16122?
False
Let b = -3/8 + 23/8. Suppose -2*q = -6 + 30. Let h be (q/(-8))/((-14)/4). Which is smaller: b or h?
h
Let u = -865 - -867. Suppose -5*f - 36 = -3*p - 8*f, -3*p + 36 = -u*f. Is p bigger than 19?
False
Let a be (4 - -1)*95/(-15)*-3. Suppose -m - a = -3*v, -5*v + m + 46 = -113. Which is smaller: 35 or v?
v
Suppose -5*u + 5*d + 109 = 6*d, -5*d = -20. Suppose o = -7*m + 4*m + u, -2*m - 2 = -2*o. Let i(x) = x**3 - 6*x**2 + 7*x - 4. Let w be i(5). Is w >= o?
True
Let m(o) be the second derivative of -o**4/12 - o**3/6 + 2*o**2 + 8*o. Let l be m(-3). Let j be (-1)/(l/(-4)) - 280/(-136). Which is bigger: j or -1?
j
Suppose -7*k = -12*k + p - 1524, -5*k - p = 1526. Let f = 302 + k. Which is greater: 0 or f?
0
Suppose -5*c - 68*x + 63*x - 2535 = 0, -2553 = 5*c + 3*x. Which is smaller: -544 or c?
-544
Let c = -9789 - -9786. Is -354/149 at most as big as c?
False
Let k(h) = h**3 - 7*h**2 + 8*h. Let a be k(6). Suppose 0*w + a = 3*w. Let o(r) = 25*r - 3. Let n be o(0). Which is greater: n or w?
w
Suppose -i = 12*z - 8*z + 2604, -2*z - 5*i = 1284. Is z bigger than -655?
True
Let d = 31187/2 - 15594. Does 55.47 = d?
False
Let y be (36/14)/(54/(-5040)). Let r = 252 + y. Is r <= 12?
True
Let a be 411/144 - 4/6. Let v = a - 121/48. Which is bigger: v or 0?
0
Let o = -143 - -148. Suppose 4*n + 48 = -f, -2*n + 4*n - o*f + 2 = 0. Does -10 = n?
False
Let k be (-12)/(-24) - (-15)/(-44). Let x = -1/11 - k. Let u = 74 - 667/9. Do u and x have different values?
True
Let o be (-3 - -4) + 3 + 297. Suppose -6*n = -13*n + o. Suppose -n*y = -41*y + 6. Which is smaller: y or -25/7?
-25/7
Let m(v) = v**3 + 10*v**2. Let i be m(-10). Let j = 3949 - 39339/10. Let z = j - 15. Which is greater: i or z?
z
Suppose 2*g = 4*g - 250. Suppose 0 = -423*o + 31166 + 22132. Which is smaller: g or o?
g
Suppose -14*g + 4763 - 1361 = 0. Let p be (4/(-6))/((-333)/g). Are p and 0 nonequal?
True
Let r(i) = 2*i**3 + 6*i**2 + 11*i + 37. Let b be r(-16). Let g = b - -930910/137. Is 1 <= g?
False
Let b(p) = -6*p - 17. Let q(z) = -25*z - 67. Let j(f) = 9*b(f) - 2*q(f). Let a be j(-5). Suppose 4*x - 17 = -a. Which is smaller: 38/7 or x?
x
Let x be ((-34)/2)/((-4)/12). Suppose 155 - x = 2*t. Let m(g) = 4*g + 74. Let p be m(-6). Which is smaller: p or t?
p
Suppose 15 = 3*x, 5*z - 5*x = z - 329. Let y = 77 + z. Let b be 34/60 - 10/25. Which is smaller: y or b?
b
Let c(q) = -2*q**2 + 4. Let b be c(-5). Let m = -189/4 - b. Suppose -4*j - 8 = -z, -j + 2*z + 12 = 28. Is m <= j?
True
Suppose 0*r + 3720 = -3*r. Let t = r + 164918/133. Let l = -45958 + 45957. Is l != t?
True
Suppose 3*b - 56 = 5*z - 39, -5*b + 5*z = -5. Which is greater: b or -239/48?
-239/48
Let w = 262 + -260. Suppose w*o + 3 = -0*k + k, -3*k + 20 = 5*o. Which is greater: k or 4?
k
Let j(w) = -w**3 + 8*w**2 - 335*w + 2304. Let g be j(7). Suppose -7 = -2*z + 5. Which is smaller: z or g?
z
Suppose -5*r + 73 = 2*o + 9, -r - o + 14 = 0. Suppose -7*k + 2*k - 5*v = -150, -r = 4*v. Is k not equal to 34?
True
Let