r r?
r
Suppose 103*u - 48*u = 50*u - 30. Let v = 27 + -26. Is u <= v?
True
Let k(i) = 7*i. Let r be k(-1). Let h = 1461 - 1471. Which is greater: h or r?
r
Suppose 5*i + 476 = -2*i. Let g be 16/(-24) + (-209)/(-3). Suppose 90*a - 89*a = -g. Do a and i have the same value?
False
Suppose -3*p = -0*p - 3*t - 3, p = -3*t + 9. Let i(u) = -u**2 - p*u - u**3 - 2 + 7 - 1 - 3*u**2. Let b be i(-3). Which is greater: b or 2?
b
Let i = 13788 - 10872. Which is greater: i or -0.3?
i
Let w(d) = 10*d + 41. Let l(v) = 29*v + 126. Let f(b) = -6*l(b) + 17*w(b). Let k be f(-17). Which is greater: 6 or k?
k
Let q = -20/4887 + -8087845/34209. Is -235 at least as big as q?
True
Let b(c) = -c**3 - 35*c**2 - 8. Let i be b(-35). Let t be i/10 + (-1479)/(-2380). Do t and -1 have the same value?
False
Let d = -4643/5 + 921. Suppose 3*f + 5 = -2*i, 4*i + 256*f - 262*f = -46. Which is greater: i or d?
i
Let u be ((0 + -1)*-7)/(-1). Suppose 0 = 2*c + 5*z - 14, 9*c - 20 = -27*z + 26*z. Is c less than u?
False
Let z = 2305 - 2297. Is z bigger than 89/10?
False
Let m be (-2)/(-12) - 20/24. Let g = -0.48 + -18.52. Let i = 23 + g. Which is greater: i or m?
i
Suppose -4*b - 4*d = -2*b - 60, 3*b = -4*d + 82. Let x = 24 - b. Let u be 99/(-54) - x*1/(-4). Which is bigger: u or 0.1?
0.1
Let a = -73 - -73. Let x(b) = -b**2 - b + 1. Let y be x(0). Suppose -2*j + 1 - y = a. Is j less than or equal to -2/5?
False
Let n be 7112/14 + 14 + -8. Is 512 greater than or equal to n?
False
Suppose -h + 151 - 151 = 0. Let z = 18932/25 - 758. Are h and z equal?
False
Suppose 4*a - 2*f + 20 = 0, 3 - 23 = 4*a - f. Let h be -5*(a + (1 - -3)). Suppose 2*k + h*n + 12 - 44 = 0, 0 = -2*n + 4. Which is greater: 31/3 or k?
k
Let n be ((-9)/(-2682))/((-18)/4 - -3). Let f = n - 136/5811. Is f not equal to -1?
True
Suppose 4*w + 24 = -4*p, 6*w = 5*w - 4. Let h be 40/35 - ((-4)/p - 6). Which is smaller: 6 or h?
h
Suppose 3*g - c + 3*c + 1 = 0, 0 = 4*g + 2*c. Let d = -618 + 618. Let v be d + ((-399)/(-132) - 3). Is g at most as big as v?
False
Let b be (-238)/20 - (-10)/(-100). Let m(i) = -i**2 - 15*i - 52. Let k be m(b). Which is smaller: -22 or k?
-22
Let y be (9 - 5 - -65)/(-2 + 1). Let x = -67 - y. Is x != -72?
True
Let i(a) = 0*a**2 - 284 + a - a**2 + 284. Let z be i(0). Let l be (-15)/(-35) - (-355)/(-420). Is z < l?
False
Let c = 37506 + -37506. Is 228/295 >= c?
True
Let z be -1 + 3 - (-4 + 0). Let h(b) = -b**2 - b - 3*b + z + 0*b**2. Let l be h(-5). Is l at least 1/2?
True
Let o = -2.8 - -3. Let z = -41.7 + 136.7. Let d = z + -124. Is d <= o?
True
Let w be 11/(495/10) - (-9410)/18. Suppose 18*o + w + 197 = 0. Is -35 less than or equal to o?
False
Let h(u) = 2*u**2 + 2*u + 2563. Let f be h(0). Suppose f*y - 2565*y = 18. Is 5 >= y?
True
Suppose 5*k + 6 = 1. Let x be (-1 - 0) + k + 1. Let f be (-2)/(-3)*(2439/(-5962))/((-60)/11). Which is smaller: x or f?
x
Suppose -12 = 4*g, t - g = -2*t + 633. Let y = 263 - t. Which is greater: -3/2 or y?
y
Let j = 0.07 + 0.03. Let f = -28903/116 - 1525/29. Let o = f - -85689/284. Is o less than or equal to j?
True
Suppose m + 31*l - 27*l + 218 = 0, -220 = m + 2*l. Let q = -223 - m. Is -4/43 at least q?
True
Let b be (-243)/81*(-4 - -1). Let v(t) = 222*t - 2. Let u be v(-4). Let z = u + 2698/3. Which is greater: b or z?
z
Let v = 0.16 - 0.28. Let s = 3.22 + v. Let m = s + -3. Is m greater than -7?
True
Let d = 23/30 - 4/15. Let f = 62891 + -62959. Which is smaller: f or d?
f
Let x(l) be the third derivative of -1/60*l**5 + 0 + 7/24*l**4 - 6*l**2 - 4/3*l**3 + 0*l. Let p be x(6). Which is greater: -3 or p?
p
Let l = -5.26 + 5.55. Let d(q) = q**2 + 2*q - 2. Let i be d(-2). Which is smaller: i or l?
i
Let y = 6.319 + 33.681. Which is smaller: y or -72?
-72
Let h = -94 + 100. Let z(b) = 12*b - 72. Let s be z(h). Is 79 <= s?
False
Suppose 3*d + 5*b + 26 = 0, -34 = 4*d - 3*b + 20. Is d less than or equal to -227/21?
True
Suppose 0 = -3*n - 8 - 7, r = 2*n + 9. Let t = 6254 - 8816. Let g = t - -38416/15. Which is smaller: r or g?
r
Let u = 15272 - 9156. Is 0 at most u?
True
Let r(a) = 10*a + 79. Let n be r(-8). Let g(l) = -101*l - 31. Let s be g(n). Is 69 > s?
False
Let z = -18.4 - -19. Let h = z - 19.6. Let w = 20 + h. Is w > 8/11?
True
Let z = -5282/7 + 755. Which is greater: -9/5 or z?
z
Let f = -5450 - -5441. Which is bigger: -340/43 or f?
-340/43
Suppose 0 = 5*u - 2*u - 546. Let f be (-1 - u/(-188))/((-329)/(-14)). Let a = -66231/28717 + f. Is a smaller than -2?
True
Let l(i) = 10*i - 12. Let t be l(4). Let u = t + -26. Suppose 4*f = -6*p + u*p - 4, 0 = 4*f - 4*p + 4. Which is greater: -8/11 or f?
-8/11
Let w be -68 - -69 - 122/50. Which is smaller: w or -9?
-9
Suppose 6*a = -136 + 142. Is 5/1012 > a?
False
Suppose 30*y = 865 + 511 + 634. Which is bigger: y or 110?
110
Suppose 2*r - 54 - 32 = 0. Let k(n) = -n**3 + 10*n**2 + 86*n - 786. Let s be k(11). Does s = r?
False
Suppose 6265 + 11285 = 9*i. Which is smaller: 1952 or i?
i
Let g be (-2 - -71)*1/3. Let p = -25 + g. Let m be ((-4)/8)/(5/p). Which is bigger: 6 or m?
6
Let c = 513 + -859. Let p = 238 + c. Is p != -2/3?
True
Let n be 46/10 - (-4)/10. Let h be (217 + -224)*((5 - 5) + -5). Which is smaller: h or n?
n
Let d be (48/((-144)/(-24)))/(4/(-302)). Does d = -605?
False
Let u be 33383/19082 + (-15)/10. Let q = -6/29 + u. Let t be 1*(3 + -2)*-1. Which is smaller: q or t?
t
Let i(o) = -10*o**2 - 6*o - 45. Let d be i(-8). Is d equal to 2/3?
False
Let y(i) = -2*i**2 - 17*i + 29. Let v be y(0). Suppose 0*b + 155 = 5*b. Which is smaller: v or b?
v
Let r = 240 + -785. Let m = r - -514. Is 0.01 at least m?
True
Let h be ((-28763)/14 + -3)*(-1224)/(-255). Is -9876 at least as big as h?
True
Let a be 3605/(-28) + 75/(-40) + 2. Is a at most -130?
False
Suppose -143*p = -152*p. Is 1/1727 < p?
False
Let k = -16610 - -16601. Which is smaller: -656/69 or k?
-656/69
Let w be 1778/(-98) + 18 - 15076*3/42. Is w less than -3229/3?
True
Let w = -396.8 + -110.2. Let x = 507.09 + w. Do x and -24 have the same value?
False
Let a(t) = 45*t - 62. Let k be a(2). Let v be 972/(-315) + 8/k. Which is smaller: -2 or v?
v
Let c be -737 - -908 - (-36)/2. Which is bigger: c or 210?
210
Let v = 199/54 - 49189/13338. Suppose 0 = -4*c + 4*m + 87 - 79, -3*m - 6 = -5*c. Which is greater: v or c?
c
Let f = 6242/15 - 416. Let o be ((-6)/(-5))/(18/120). Suppose o = -4*y - h - h, 3*y + 5 = -h. Which is bigger: y or f?
f
Let c = 81265 - 31043213/382. Is 1 < c?
False
Let n(z) = -4*z + 59. Let c be n(0). Let y be (-14)/4*-14 - (-7)/1. Which is bigger: y or c?
c
Let k be 100/(-280)*21/(-189030). Is 1 != k?
True
Let u = -41 + 11. Let c = -28 - -64. Let m = u + c. Is 2 >= m?
False
Let c be (288/(-63) - -6)/((-27)/252). Is c > 2/9?
False
Let v be ((-106)/10 - -1)*(-6 - 4). Let w = v + -92. Let a = 39 - 37. Is a less than w?
True
Suppose 0*l - 4*l + 2*n = -12, 2*l - 5*n + 2 = 0. Let y be (1/(-3))/((-1)/6). Suppose 6*g - 4*g = 3*u + y, 0 = u + l*g - 18. Is u <= -5?
False
Let r = -0.623 - -0.095. Let d = -0.072 + r. Let w = d - -0.5. Which is smaller: -21/4 or w?
-21/4
Suppose 266*q = 53872 + 16086. Which is smaller: q or 248?
248
Let t be (-4)/20 + 0 - 3139/(-1020). Let s = t + -3/68. Which is greater: 3 or s?
3
Let k = -504 - -363. Let n = k + 1271/9. Which is greater: n or -0.62?
n
Suppose 4*t + 2*a + 220 = 0, -3*t + 50 - 176 = -5*a. Which is greater: 28 or t?
28
Suppose l + 98 - 101 = 0, 2*c = -l + 11133. Which is bigger: c or 5568?
5568
Suppose -23143 - 12654 - 107675 = -49*h. Is 11709/4 bigger than h?
False
Let b be (-2 - (-208)/6)*(-13 - (-290)/14). Which is smaller: 245 or b?
245
Let z be 5/(-7) - 352275/735. Which is bigger: -3364/7 or z?
z
Suppose -z - 1 = -2*p + 2, 5*z = p + 3. Let a be (-3)/(0/z + -1) - 9. Let j be (34/(-12))/(3/a). Which is bigger: j or 5?
j
Let j(y) = -y**2 + 13*y - 25. Suppose 0 = 3*c + 4*v - 18, -3*c + 39 = v + 12. Let i be j(c). Is 17/3 greater than or equal to i?
True
Let w = 62 - 74. Let b = w - -12. Suppose -3*y = 3*t - 114, 0 = 2*t - b*y - 5*y - 83. Which is smaller: -2/5 or t?
-2/5
Let q = 23/37 - 494/259. Suppose 5*w + 2*c + 13 = 0, 28 - 48 = 4*w + 4*c. Is w less than or equal to q?
False
Let q = -559 + 707.96. Let l = -149 + q. Which is smaller: -2 or l?
-2
Let k = -71/43 + 185/86. Which is greater: 284 or k?
284
Let k = -1040