 5*d - 7*r. Which is smaller: d or -80?
-80
Let c be 22/99 + (-1964)/9. Let q = c + 213. Is q smaller than 2?
True
Let y be ((-3)/18)/(22/(-6))*(-56)/(-2100). Which is smaller: y or -4?
-4
Suppose 0 = -49*y - 3510 - 18. Do -67 and y have the same value?
False
Let k(n) = n**3 + 4*n**2 + 3*n. Let j be k(-3). Suppose -5*o - 4*x - 10 = -63, -3*x = -5*o + 39. Let v be (-2)/(-129)*o/(-6). Is j smaller than v?
False
Let d = -655 + 658. Suppose d*j = 3*z - z + 5, 0 = 2*j - 3*z - 10. Which is bigger: 4/123 or j?
4/123
Let r(n) = n**3 - 3*n**2 + 1. Let j be r(1). Let u be 0 - j - 35407/(-37). Let l = u + -958. Is l less than or equal to 0?
True
Let a = -74 - -173. Let u = -91 + a. Suppose 2*z + d + 54 = -3*d, -u = 2*d. Which is greater: z or -20?
z
Let a = -33 + 26. Let b be 18 - 17 - (-3 + 1). Suppose 5*u - 2*p + 53 = 0, -2*u - 3*p = -u - b. Which is bigger: u or a?
a
Let x = -27539 - -111151/4. Let y = x - 240. Is 10 bigger than y?
True
Suppose -819 = 3*o - 2*t + 555, o + 4*t + 472 = 0. Let q = o + 424. Which is greater: q or -37?
q
Let v = -2808 + -418. Is v bigger than -3226?
False
Let m = -129 - -122. Let b(l) = l**2 + 5*l - 23. Let n be b(-7). Which is smaller: m or n?
n
Let n = -63 - -56. Let i = 18 + n. Suppose 0 = -14*g + i*g - 15. Is g at least as big as -25/7?
False
Let g = 33021 - 24666692/747. Which is greater: 0 or g?
0
Let v = 122 - 197. Let t = v + 64. Which is smaller: t or -12?
-12
Suppose -5*q - 372 + 32 = 0. Let o = q - -73. Suppose o*c + 0*c + c = 0. Is c at least as big as 3/5?
False
Let z = 96 + -6. Let x = z - 90. Does x = -0.013?
False
Let r = 5041972/2846235 - 2/81321. Let w = r - 6478/3815. Do w and 0 have the same value?
False
Let c be (12/(-6399))/((-30)/195 - 50/(-156)). Is c less than -1?
False
Let o = 4.2 - 4.32. Let g = o - -0.12. Let n = -1 + g. Which is smaller: n or -20?
-20
Suppose 2*r + 2*t - 20 = 0, -4*t - 1 = -2*r - 5. Suppose 2*q + 84 = -4*b, -4*q - r*b = -3*b + 193. Is -4 bigger than q?
True
Let v be 0 + -12 - -15 - (-23)/(-7). Which is smaller: v or -540?
-540
Let v = 0.63 - 0.6. Let d = 0.17 + v. Let p = -6234 + 6258. Is p < d?
False
Suppose -41*z - 3 = 4*h - 42*z, -24 = -3*h - 3*z. Is h != 40/367?
True
Suppose -4*u - 3 + 39 = 0. Suppose a + 1 = y - 1, -y = 3*a - 6. Suppose y*c - u = -5*b + 39, -5*b = 4*c - 69. Do c and 19 have the same value?
False
Let f = -831 + 223. Which is smaller: f or -615?
-615
Let g = 1/109 + -3063/1199. Let w(j) = 25*j + 148. Let i be w(-6). Are i and g unequal?
True
Let s = 13140 - 13139. Is s <= 3/10402?
False
Let m = 0.6133 + -0.1013. Let k = 12.512 - m. Let t = 0.3 + -2.3. Is k at most t?
False
Let b = -21773 + 21660. Is b greater than -135?
True
Let r be 1*(19874/(-6) + 0). Let y = 3348 + r. Which is smaller: y or 37?
y
Let b = 15 - 26. Let s be (-5402)/438 + 4/(-6). Is s greater than or equal to b?
False
Let t = -1370186/13 + 105509. Is t equal to 109?
False
Let o be (((-4)/16)/((-243)/88))/((-904)/113). Which is smaller: o or -1?
-1
Let q = 1150 - 1403. Is 11 greater than q?
True
Let f = 360 - -260. Let n = f + -609. Is -0.08 less than or equal to n?
True
Let z = 112511 - 112485. Let w = 127/45 - 20/9. Do z and w have different values?
True
Suppose 7303 = -4*x - d + 1485, 0 = 4*x - 3*d + 5794. Which is greater: -1448 or x?
-1448
Suppose -8*v = 5*a - 5*v - 1433, 5*a - 4*v = 1461. Let g = -282 + a. Which is bigger: 3 or g?
g
Let c = -202/6405 - -16/1281. Let k = -1 + -5. Is k equal to c?
False
Let q(u) = -u**2 + u - 2. Let l(m) = 4*m**2 - 27*m + 19. Let v(h) = -l(h) - q(h). Let d be v(8). Is -4/47 equal to d?
False
Suppose 4*u + 16602 = 3*c, -367*u + 362*u = 5*c - 27600. Is c less than 5526?
False
Let b be 7*(-24)/(-448) + 0 - 777/24. Which is greater: 37 or b?
37
Let g = 133 + -64. Let m = g + -72.1. Let h = -3.23 - m. Is 1 < h?
False
Suppose -28*i + 83 = -27*i + 2*t, -2*i + 181 = t. Which is greater: 90 or i?
i
Let p = -172 - -325. Let q be (-4343)/(-9) + 68/p. Is 483 at least q?
True
Let y(a) be the second derivative of -a**3/3 - 14*a**2 - 131*a. Let t be y(-13). Which is smaller: t or -3?
-3
Suppose 2*p = -47*p - 12*p + 115656. Which is greater: p or 1895?
p
Suppose 5*r - 3*c + 31 = 0, 4*c + 7 = r - c. Let m = -10 - 0. Let h be (12/m)/(6/45). Is h bigger than r?
False
Suppose -60 = 59*o - 63*o. Let p(i) = 14*i. Let v be p(1). Let k = v + 3. Which is greater: k or o?
k
Let y = -57 + 94. Let h(u) = -5*u - 6. Let q be h(-2). Suppose -5*v = 5*z - 205, 5*z - 21 = q*z + 3*v. Which is bigger: z or y?
y
Let h be 8*(-4 + 561/170). Is h at most as big as 7.5?
True
Let c be -5 - (1 - -755)/(-6). Let p = -51 + c. Let f be ((-5)/p*-7)/((-1)/2). Which is bigger: f or -3/16?
-3/16
Let r = -1449 + 1448. Which is bigger: r or -10/379?
-10/379
Let w = -78 + 73.7. Let r = w + -17.7. Let p = 21.9 + r. Which is smaller: -33 or p?
-33
Let l = 286 - 340.8. Let c = -51.8 - l. Which is smaller: -17 or c?
-17
Let u = 21 + -20.9. Let f = 67 + -8. Let d = 40 - f. Which is greater: u or d?
u
Let h be (0 - (-83 + -4 + 3)) + 1. Is h != 118?
True
Let o be 3 + 0 - -3*4*5. Let b be ((-2)/(-30))/(-5 - (-318)/o). Let v = -1.5 + 1.6. Is b > v?
True
Suppose -5*v - 196 - 9424 = -3*o, 0 = -5*o + v + 16026. Let q = -35227/11 + o. Let r be (-2 - 1)*4/(-3). Which is greater: q or r?
r
Let q = 606/7 - 83. Let b = 753 + 263. Let o = 1015.9 - b. Are q and o nonequal?
True
Let y = -9197 + 9198. Let p = 0.63 - -226.37. Is p at most y?
False
Let f be ((-9)/4)/(411/(-23564)). Do 28 and f have different values?
True
Let n(v) = 7*v**2 - 10*v**2 + v**2 - 10*v - 57 + 3*v**2. Let q be n(-4). Is q > 5/34?
False
Let t be (-13)/(23998/2691) + (-9)/(-6). Let f = 41/56 + 1/56. Which is smaller: f or t?
t
Let k = -40 - -12. Let i = 0.018 + -29.018. Let p = k - i. Is p < -7/3?
False
Let y = 0.1604 - 0.0604. Which is greater: y or -7988?
y
Let c = -970/19 + 51. Let x be (22 - 23)/(1*3). Let b = x + 1/12. Which is greater: c or b?
c
Let l(q) = -37*q - 557. Let v be l(-15). Which is greater: -0.167 or v?
-0.167
Let r = 23.5 + -131.1. Let f = r - -108. Is 0.7 >= f?
True
Suppose 7*f = 8*f. Let a be (-6)/(-4)*-1*6/45. Let p = -23/65 - a. Does p = f?
False
Let w be 6/(-3) - (5 - 6). Let o = 676 + -688.5. Which is greater: w or o?
w
Let k = -193 - -305. Which is smaller: 788/7 or k?
k
Let c be ((3/5)/(199/106465))/3. Is c <= 531/5?
False
Let o = -4/2081 - 239291/12486. Which is bigger: -18 or o?
-18
Let i = -12 - -17. Suppose 2*y = -i*f - 9 - 7, y - f - 6 = 0. Suppose 8 + y = 2*t. Which is greater: -0.6 or t?
t
Let y be 156/130*(-310)/(-6). Let d = y + -63. Is d <= -8/19?
True
Let h be 2535078/11739 + 2/43. Which is greater: h or 212?
h
Suppose r = 5*i - 4*i - 16, 3*i - 78 = 5*r. Let k = -6 - r. Suppose -3*o - k = 2*a, 0 = 4*a + o + 35 + 8. Which is smaller: -11 or a?
a
Suppose 66*i - 7 = 80*i + 7. Which is bigger: 15/469 or i?
15/469
Let r = -2.2678 - -0.2678. Which is smaller: r or 34?
r
Suppose 6213 = 7*u + 3*u + 9*u. Which is smaller: 325 or u?
325
Let x be (-4)/(-78)*3 - 16569/(-39). Suppose 0 = -3*g - x + 1241. Let a be g/70 - (-6)/(-21). Is 3 at least as big as a?
False
Let r be 1/(-3) - 77/33. Let g be ((-2717)/(-76))/(-13) - (-1)/(-4). Is r < g?
False
Let h = 685 - 456. Let u be -70 - -77 - h/31. Is u <= -1?
False
Suppose -5*f + f = 0. Suppose f = -0*i + 5*i. Let r be (-8 - 1 - -8)*(-6)/(-34). Is r equal to i?
False
Let f be 6039226/21 - 40/140. Let h = -287525 + f. Let g = h - 57. Which is smaller: g or 1?
g
Let z = 7812 - 7812.1. Is z bigger than -52?
True
Let g = -1286 + 34726/27. Let p(r) = -23*r - 4. Let s be p(4). Let d be (((-4)/(-6))/(-2))/(32/s). Which is bigger: g or d?
d
Let x be (7 - 3 - 6)/8. Suppose 0*w = -d + 5*w + 7, w = -1. Let u = -35 + d. Does x = u?
False
Let r = 0.02147 - -0.03233. Is r greater than or equal to -1/4?
True
Suppose 3*c + 2*p + 13 = 0, 2*c = 37*p - 33*p + 18. Are -24/541 and c unequal?
True
Suppose -2007*g + 1994*g - 1326 = 0. Which is bigger: g or -39?
-39
Let c = -97032151/191415 - 43932/1823. Let i = c - -531. Is i <= 1?
True
Let k be ((-8)/10)/(38/(-2280)). Suppose -18*y + k = -24*y. Is y greater than -11?
True
Let d(g) = g**2 + 11*g + 29. Let n be d(-5). Which is smaller: n or -11/92?
n
Let u(l) = -11*l - 75. Let w be u(-7). Suppose 0 = w*c + 4*c. Let r = 217514/89 - 2444. Is r bigger than 