 + 36/601. Let i = -4531 + r. Let p be 188/26 + (-264)/1144. Which is smaller: i or p?
p
Let a = 58638 + -58626. Let k = -50/3 - -572/21. Which is smaller: a or k?
k
Let p = -2557 - -3715. Which is smaller: 2315/2 or p?
2315/2
Suppose 35*r - 26*r = 63. Let q = 0.461 + -22.161. Let u = q + 21. Which is greater: u or r?
r
Let u = 544/635 - 58/127. Suppose -b + d = -4*b + 4, -2*d = 4*b - 8. Is b bigger than u?
False
Suppose 31*i - 26*i = 15. Suppose 12*x = 9*x + i. Are x and 1/70 equal?
False
Let y(q) = 7*q + 16. Let z be y(4). Suppose 4*w + v - 4*v + z = 0, 2*w - 5*v + 8 = 0. Let x be (2 + 0)/(w/21). Is x != -7/2?
True
Let f = 348.4 - -38.4. Let j = -470 + f. Let a = 83 + j. Is 23 bigger than a?
True
Let f(t) = 2*t**2 - 5*t + 4. Let l be f(2). Let q be (0/8)/(l + -1). Suppose -2*j = -4*s - q*s + 12, 5*j = 4*s - 12. Which is greater: j or 9/11?
9/11
Suppose 85*o = 114*o - 63104. Which is bigger: 2178 or o?
2178
Let a = -0.1 + -3.9. Let t = 3.9 + a. Let i be (-9)/(-15) - 245/425. Which is greater: t or i?
i
Let z = -123 + 113. Let v be z/20*(0 - 6). Which is smaller: v or -41?
-41
Let b = 172/665 + -5133823/2660. Let t = 2006 + b. Let r = 77 - t. Which is greater: 0.04 or r?
r
Let n be 404/59388*(-12)/(-1654). Which is smaller: n or -1?
-1
Let y = 26206 + -26204. Which is greater: -3085 or y?
y
Let f = 546.6 + -551.6. Is f <= 13.8?
True
Suppose -232*l - 930 = -222*l. Let a be (48 + l)*4/6. Let p = -83 - -50. Does p = a?
False
Let j = 12.99 - 13. Let f = 82 + -81.99. Let v = j + f. Which is smaller: 10 or v?
v
Suppose 4*n + 98 = -5*x, 0*x + 2*x - n + 34 = 0. Let r be ((-8)/(-6))/((-8)/x). Suppose 3*d - 5*d = j + 8, r = -3*j + d. Is -4/3 < j?
False
Let b = -3938/31 - -127. Let a be 4 + (1 - 3) - 0. Suppose -2*n = 3*n - a*h, -4*n - h = 0. Which is smaller: b or n?
b
Let u be (3 - 0) + (14 - -28). Suppose -1240 = u*q - 35*q. Is -124 less than or equal to q?
True
Suppose -25*r = 103 - 7803. Let u = 190 - r. Let n be -117 - (2 - (0 - 0)). Which is greater: n or u?
u
Suppose -17*u + u = 13*u - 58. Let n = 2 + 18. Let h be ((-26)/(-65))/(u/n) - 32. Are -28 and h equal?
True
Let l(f) = 2*f**3 + 38*f**2 - 49*f - 179. Let r be l(-20). Which is smaller: 7/647 or r?
7/647
Let n be ((-1)/2556)/(38/(-190)). Is 0 at most n?
True
Let c = -613 + 612.6. Is -65 > c?
False
Let t be (-822)/(-1507) + (-2757)/33. Which is smaller: -329/4 or t?
t
Let u = -2/11075 - -4432/11075. Is u <= -1466?
False
Let p be ((-3)/4)/((-15)/96*-8). Let i(v) = v**2 - 2*v - 6. Let r be i(5). Let m = 13 - r. Which is bigger: m or p?
m
Suppose 0 = 24*n + 10 + 14. Let r = -563 - -728. Which is greater: n or r?
r
Let d(j) = -9*j - 1. Let v be (-9)/(-9)*(1 + -1). Let u be d(v). Is -2/45 greater than or equal to u?
True
Let k(i) = -i**2 + 11*i + 60. Let h be k(-4). Let j be (69/(-9))/((-1)/(-6)). Let t be ((-5)/10)/(j/(-2)). Which is smaller: h or t?
t
Let u = 2645 + -198373/75. Let y = 1.94 + 0.06. Which is greater: u or y?
y
Let f(j) = j**2 + 5*j + 7. Let m be f(-2). Let p = 2 + -1. Let y be m/(-3)*(2 + 1/p). Which is smaller: y or -2?
-2
Suppose 3*g - 5*u = 53, 8*g - 4*u = 3*g + 71. Suppose 0 = g*f + 3*f - 840. Which is smaller: f or 59?
59
Let c be (26/(-4))/(23/(-46)). Suppose 5 = -2*v + c. Is 34/7 bigger than v?
True
Let r = 2.288 - -0.712. Let s be 3/6*(-16)/13. Which is bigger: s or r?
r
Let k = -40726/25 - -1629. Let b = 1 + -1.09. Let w = b - 0.01. Which is smaller: k or w?
w
Let v = -14433 - -14401.962. Let j = -0.038 - v. Let w = -37 + j. Is w less than -2/9?
True
Suppose -35*c - 1413 = -26*c. Let j = -542 + 384. Is j at most as big as c?
True
Let n = -3434 + 17172/5. Is n at most -5576?
False
Let f = 7103233/615562 - -3/64796. Let b be (-105)/28*(2 - ((-192)/(-190) + 1)). Let r = f - b. Is 11 equal to r?
False
Suppose -7*z - 74 - 31 = 0. Let x = z - -15. Suppose x = 5*h - 5*k + 10, 0*h + 5*h + 10 = 4*k. Which is smaller: 1 or h?
h
Let d be (-4)/(-10) + 2/(-5). Let p be 12/40 - (-10887)/(-34390). Is p less than d?
True
Let u = 41 - 26. Suppose 36*i - 2481 - 2199 = 0. Suppose 32 - i = -7*v. Is u >= v?
True
Let l be ((-184)/(-6))/(3/(-12375)*-10). Suppose -l = -43*g + 7990. Do g and 479 have the same value?
False
Let x(z) = z**3 + 3*z**2 - 13*z + 3. Let o be x(5). Let p = o - 130. Is p less than 10?
True
Suppose 2*w + 3*p = -5, 0 = 3*w + 37*p - 34*p. Let x be (-167)/(-692) + 10/(-200)*w. Is 0 < x?
False
Let i be (-14)/412*(-6)/(-144)*-3. Let f = i + 6/103. Suppose -3*g = -0*g. Is g < f?
True
Suppose 5*q - 1 - 5 = -p, 3*p - 2*q = 52. Let h(s) = s**2 + 20*s + 52. Let v be h(-19). Let k = v - p. Which is smaller: -2/5 or k?
-2/5
Let c = 4 - -1. Let z(w) = -2*w**2 + 2*w. Let a(v) = v**3 + 2*v**2 - 2*v - 6. Let u(q) = -a(q) - 4*z(q). Let b be u(c). Is b at most as big as -4/37?
False
Let q be (-10)/(-852)*-1*(-240)/(-1200). Which is greater: q or -2?
q
Suppose 2*g = -32 + 36. Suppose -1 = -5*i + 2*m, -3*i - g*m + 8 - 1 = 0. Which is smaller: 5/18 or i?
5/18
Let q be (-3 - -1)*(126/4)/(-7). Suppose 2*t - q = -d, 0*t + t = -5*d + 90. Suppose -15*j = -d*j - 68. Which is greater: -18 or j?
j
Let p = -1.97 + -0.03. Let h = -0.032 + 3.682. Let c = 4.45 - h. Which is smaller: p or c?
p
Suppose -2*z - 27*m = -23*m + 24, -3*z = -5*m - 8. Which is smaller: -55/13 or z?
-55/13
Suppose -35*v + 117 = 12. Are v and 62/37 nonequal?
True
Let y be (-9)/(-2)*360/(-54). Let c be 3/(y/(-68)) - (-3)/15. Suppose 3*w = -9 + 21. Which is bigger: w or c?
c
Let r = -1226 + 1351. Is r greater than or equal to 0.8?
True
Let g = 44393 - 104723090/2359. Is g greater than 1?
False
Let f(r) = r**3 + 4*r**2 - 2*r - 4. Let m(s) = -s**2 + 2*s + 3. Let j be m(4). Let g be f(j). Let d be -2 - -6 - -2*(g + 2). Is d <= -29?
True
Let c be (24/(-36))/(2/(-360)). Suppose p + c = 22. Let t be (-394)/4 + 2/(-4). Is t > p?
False
Suppose 4*c - 20 = 0, 6*b - 4*c + 26 = 3*b. Let d be -4 + (-13)/b - 3. Is -17 not equal to d?
True
Let t(x) = -x**2 - 41*x - 20. Let m(a) = -19*a + 473. Let s be m(27). Let b be t(s). Do 42 and b have the same value?
False
Let d = -386 - -370.1. Is d greater than -2/21?
False
Let k be 1/(-5) - (-43)/40. Let a = 11/8 - k. Which is greater: -38 or a?
a
Let w(c) = 193*c - 11189. Let n be w(58). Which is bigger: n or -884?
n
Let o = 14622095234/54063 + -270464. Which is greater: 1 or o?
1
Suppose -4*v + 68 = -0*v. Let j = -48864 + 928414/19. Is v less than or equal to j?
False
Let n = 24439 - 19351. Which is smaller: 5089 or n?
n
Let z = -434 - -268. Let m = z - -162.4. Is 3/4 != m?
True
Let k(w) = -w + 67. Let a be k(28). Suppose a = 4*p - c, -2*c = p + p - 22. Which is bigger: p or 11?
11
Let k be ((7 + 142/(-20))*-1068)/14. Is 8 less than or equal to k?
False
Suppose -17*x + 117 = -4*x. Suppose -x*q + q = -8. Let n be (2*-1)/(1 + -3). Do n and q have the same value?
True
Let u be 210/705*(-14396)/(-1072) + -4. Which is greater: 1 or u?
1
Let j = 26926 + -26972. Which is smaller: 254 or j?
j
Let f(d) = -89*d - 2482. Let g be f(-28). Is 436 less than g?
False
Let i = 1.881 - 30.881. Which is smaller: 5 or i?
i
Let g = -3097951/27 - -114721. Which is smaller: -19 or g?
-19
Let i = -38.4 - -38.8. Which is greater: -0.749 or i?
i
Let d = -1391 + 1390.94. Let r = 15 + -14.76. Let v = d - r. Which is bigger: -0.02 or v?
-0.02
Let j be 24 + -35 + (-31047)/(-2823). Which is greater: 0 or j?
0
Let l(d) = -2*d - 7. Let w be l(-7). Suppose -19 = -5*r + 11. Suppose 1 = -w*t - r. Are t and -2/5 non-equal?
True
Let o be 5/15*(-53 - -50). Which is greater: -20/111 or o?
-20/111
Let x = 1 - -1. Suppose 315*i = 319*i - 744. Let j = 184 - i. Which is greater: j or x?
x
Let y be 277/(-1939) - 2/(-14). Is 2/14573 <= y?
False
Let q = 0.1 - 0.24. Let w = -0.4393 + 0.3093. Are w and q non-equal?
True
Let g = 125.23 - -422.67. Let y = -525 + g. Let i = -23 + y. Which is smaller: i or -8?
-8
Let x = -2226.72 - -1869.6. Let n = x + 358. Is 1 less than n?
False
Let z = 66534/52531 + -162/131. Which is bigger: z or 1?
1
Suppose -2*d + 7*d - 14037 = -y, 11242 = 4*d + 7*y. Is d less than 5615/2?
True
Let k = 1.52 + -3.55. Let h = -0.03 - k. Let n = 52 + -66. Which is greater: n or h?
h
Let f(g) = 2*g**3 + 111*g**2 + 32*g + 93. Let r be f(-55). Is r less than 1360?
True
Suppose 4*y - 9693 = 2547. Is 3060 greater than y?
False
Suppose -3*w 