e
Suppose -157 = 5*h - 0*m - 2*m, -m = -3*h - 94. Let d = h + 43. Let l(z) = z**2 - 11*z - 3. Let p be l(d). Is -4 at least as big as p?
False
Let i = -53601 - -39932737/745. Which is smaller: i or 0?
i
Let d(r) = r**3 - 12*r**2 + 13*r - 8. Let s be (-27)/54 - ((-2)/4 + 0). Suppose -5*y + 73 - 18 = s. Let n be d(y). Do 14 and n have the same value?
True
Suppose 2*p - t - 7 = 0, 7 = -p + 4*t - 7*t. Let r = -19965/7 + 2859. Is p > r?
False
Suppose -12*x = -9*x - 3. Let w(d) = -4*d + 2. Let s be w(x). Let l be (-12)/15 + s/(-40). Which is smaller: -2 or l?
-2
Let g = 133 - 243. Let n be 1*(-2)/40 + (-34400)/(-48000). Is n at least g?
True
Let d = 1678 + -943. Suppose -5*x + w + 0*w = d, 0 = 3*x - 5*w + 463. Is -144 > x?
True
Let v be 4/34 - 35616/(-3604). Which is bigger: -22 or v?
v
Let y = -3753 + 3649. Is y greater than -95?
False
Let x(n) = 14*n**3 - 2*n**2 + 1. Let o be x(-1). Let l(m) = 8*m + 39. Let p be l(16). Let r = p - 182. Does o = r?
True
Let p be ((-672)/63)/(4/3702). Is -9872 at most p?
True
Suppose -t - 2*z = 0, 0 = -9*t + 10*t - z. Which is bigger: -1/317 or t?
t
Suppose 6*a - 14575 = a. Let m be 2/(-9) - a/45. Let r be 39/m*1/9. Is 0.1 > r?
True
Let z = 0.359 - 117.359. Let b = 117 + z. Is -0.3 at least as big as b?
False
Let d = 2.6621 - 173.4621. Is 1/2 <= d?
False
Let d = 2175 + -2174. Let r be ((-4576)/(-2287))/(-1) + 6/3. Which is bigger: d or r?
d
Let d = 0.1365 - -31.8635. Do d and -7 have the same value?
False
Let q be (-19 + 14)*1/(-1)*1. Let j be (-342)/90 + (-1)/q. Does j = -4?
True
Let c = -5281.983 - -5282. Which is smaller: c or -26?
-26
Let u = 5525.1 + -649.1. Which is greater: u or -1?
u
Let c be (2 + -60)/(50/(-1075)). Which is greater: c or 2495/2?
2495/2
Let a(o) = -2*o**2 - 454*o + 4248. Let m be a(9). Are 1/26973 and m non-equal?
True
Suppose 2*t = -3*x - 12, -x + 0*t + 29 = -3*t. Which is smaller: x or 159.28?
x
Let l be (72/48)/((-6)/40). Let k = 17 + -17. Which is smaller: l or k?
l
Let z = -60 - -153. Let f = -872 - -778.8. Let b = z + f. Is b > 38?
False
Suppose -6*m - 5*p + 353 = -3*m, 4*m = 2*p + 462. Let n = -150885 - -150884. Is n greater than m?
False
Let s be (-2)/(-9) - (23526/162 - 21). Which is greater: s or -131?
s
Let k be ((-7)/(-1))/(-2 + 1) + -4. Let q(r) = r**3 + 3*r**2 + 4*r + 3. Let y be q(-3). Is k less than y?
True
Suppose 0 = 44*v + 78*v - 17446. Which is smaller: 156 or v?
v
Let n = 0.012 - 18.412. Let a = 21 + n. Let c(z) = -z**2 - 9*z - 7. Let v be c(-8). Are v and a equal?
False
Let t = 7110 - 7036. Which is bigger: t or 94?
94
Suppose 6466 = 5*l + 1281. Let j = l - 1010. Which is bigger: 26 or j?
j
Suppose 0 = 4*v + 5 - 17. Suppose -14 = v*l + 91. Let b(x) = 744*x - 30540. Let g be b(41). Is l greater than g?
True
Let z = -324.9771 + -0.0229. Let h = z + 325.7. Let g = -6 + 7. Is h less than g?
True
Let h = -35 - 23. Let t = h + 68. Let k be (-38)/(-4) - 6/(-4). Which is greater: k or t?
k
Let s be (4 + 0)/((-164)/(-2)). Let n = 1.3056 + -1.1456. Is s at most n?
True
Let q be ((-6)/5)/(90/225) - (-1169691)/389895. Which is smaller: 1 or q?
q
Let x = -29.83 - -31. Let o = x + 83.83. Let c = o + -87.3. Which is smaller: -0.1 or c?
c
Let l = -44 + 41. Which is smaller: l or 44?
l
Let n be 12 + 21 + -26 + 4. Let o = 1063/119 + 23/17. Is n smaller than o?
False
Let q = -7766 + 7768. Is q less than 19.43?
True
Let u = -33 - 142. Let f = 130 + u. Which is greater: f or 1/5?
1/5
Let t(o) = -2*o**2 + 5*o. Let r be t(2). Let m be (r - 4/6) + 40/(-30). Which is greater: 2/143 or m?
2/143
Let k = -110/219 + -1312247/438. Which is bigger: -2996 or k?
-2996
Let n(h) = -h**2 + 25*h + 723. Let k be n(42). Which is smaller: 3 or k?
3
Suppose -8*m = -21 - 11. Suppose 5*s = 5*h - 120, 4*s + 16 = h + 5*s. Suppose 5*i - h = 0, 7 + 5 = 4*l + m*i. Which is smaller: 1/116 or l?
l
Let f be (-10)/(600/36)*36. Which is smaller: f or -21?
f
Let f = 310517 + -310488.5561. Let w = -0.4339 + f. Let m = w - 28. Which is smaller: -1 or m?
-1
Let n(k) = k**3 - k**2 - 6*k + 5. Let b be n(3). Suppose 2*d = -4*r - 598, -b*r + d - 745 = 3*d. Let a be (-42)/r - (-16)/(-105). Is a less than 2/3?
True
Let l(y) = -6*y**2 + 104*y + 2. Let a be l(12). Let t = a - 385. Is 4/7 at least t?
False
Suppose -48*m + 128 = -44*m. Let w be 4/m*(-12)/(-9). Which is smaller: 11 or w?
w
Let f = -167 - 445. Let h be 6/27 + 568/f. Is -2 < h?
True
Let v = 3489 - 3495. Which is smaller: 197/3 or v?
v
Suppose a - 25 + 7 = 0. Let g = 14 - a. Let z(r) = -8*r - 5. Let l be z(g). Which is greater: 26 or l?
l
Let r(q) = -q**3 + 13*q**2 + 13*q + 21. Suppose 3*h - 39 = t + 2*t, -5*h = 2*t - 72. Let s be r(h). Suppose x = -2*x + 12. Is s > x?
True
Let d = 1439/42 + -205/6. Is d at least as big as 110/7?
False
Let b = -13 + -117. Let c = -88 - b. Suppose c = -5*r - 63. Is -21 >= r?
True
Let n be (18 + -16 - 13) + 11. Which is smaller: 2/1361 or n?
n
Let v = -771.7 + 772. Which is bigger: -1084 or v?
v
Suppose 21*g - 11 = 31. Suppose 0 = -g*x - 5*r - 9 - 14, 3 = -2*x - r. Which is smaller: 2/145 or x?
2/145
Suppose 3*k + 33 = -3*o - 0*o, 0 = -3*o - 5*k - 31. Let v be (-8)/o - (-5)/(-3). Let l be 0 + v*(3 - 0) - -16. Is 14 at least l?
True
Let v = 2843 + 1858. Are 4701 and v non-equal?
False
Suppose 27*l + 15047 - 15884 = 0. Suppose -4*m = 3*w - 22, 0*w - 4*w + 16 = 2*m. Is l less than or equal to w?
False
Let t be 3/(-5) - (-2888)/1805. Is 9/3440 less than t?
True
Let u be (-8)/6*(-40 + -50). Suppose -u - 1455 = 5*w. Is w greater than -315?
False
Suppose -2*d = -4*m + 259 + 9, 4*m - 274 = 5*d. Let w = -133/2 + m. Is w smaller than 0.07?
True
Suppose 0 = -3*i + 20 + 19. Let v = 3.7 - 1.65. Let m = 2.25 - v. Are m and i nonequal?
True
Let j = -692539/76 + 9112. Which is smaller: j or 0?
j
Let t = -122 - -125. Suppose 0 = -t*m - 4*j - 8, 0 = -2*m + 4*j + 6 + 2. Let u = 5142/37 - 139. Which is smaller: u or m?
u
Let z be 24/20*(-63810)/36. Is -2127 equal to z?
True
Let c be 2*(-3)/(-2) + -2. Let p(t) = 19*t**2 + 12*t + 9. Let h be p(-8). Let r = 32744/29 - h. Do r and c have the same value?
False
Let m = 3649.88 - 3582. Let l = m + -1.88. Let q = -5 + 4.9. Are q and l equal?
False
Suppose 0*r - r = -37. Suppose -3*i + 37 = -4*i. Let a = r + i. Is 2 < a?
False
Let q = -384 - -383.155. Let f = q + 0.472. Are 1 and f equal?
False
Let u(z) = -12*z**2 - 2*z - 2. Let o be u(-1). Let d be (-480)/(-117) + (o/9)/(-2). Let b = d + -5. Which is smaller: 0 or b?
b
Let f(k) = k**2 + 2*k - 3. Let p be f(-4). Suppose p = -o + 22. Suppose 5*c = -5, -v - c - 4 + o = 0. Is v at least as big as 16?
False
Let m(u) = -3*u**2 - 6*u - 38. Let y(o) = o + 27. Let i be y(-32). Let c be m(i). Is c less than -85?
False
Let m = 328/143 - 32/11. Which is smaller: 12/11 or m?
m
Let s = -54813 - -54814. Let h be -1 + 306/98 + -2. Which is smaller: s or h?
h
Let q be (-2667)/(-88)*(-3 + -4)/189. Let w = q + -1/396. Does w = 0?
False
Suppose t - 30*q + 27*q + 14 = 0, -10*t = -4*q + 10. Is -2/1465 less than t?
True
Let y(k) = -2 + 8*k - k**2 - 29*k + 1 - k**2. Let z be y(-9). Let i be z/(-6) - 0 - 56/84. Is -5 < i?
False
Let k be (-7)/((-210)/1422) + (0 - 4). Which is greater: k or 44?
44
Let x(n) = 8*n**3 - 2*n**2 + 1. Let j be x(1). Suppose -42 = -z - s, -4*z - 2*s = -71 - 107. Suppose 0 = -j*d - 19 + z. Is 42/11 > d?
False
Let v be 200/24*(-51)/(-5). Let u be (0 + 9/60)*v/34. Which is smaller: 1 or u?
u
Suppose 2*j - 52 = 2*y, -3*j - 5*y = j - 140. Suppose 3*k = l - j, 5*k + 4*l + 66 = 16. Let n be 13/21 + k/15. Which is smaller: n or -1?
-1
Let j(k) = -k**3 - 10*k**2 + 2*k + 20. Let v(w) = -2*w**3 + 8*w**2 + 9*w - 5. Let u be v(5). Let y be j(u). Which is smaller: y or 2/215?
y
Let h = 2.122 + -2.314. Suppose -2*k = -0 + 2. Are h and k nonequal?
True
Let t = -2746 - -2747. Is 2 at most t?
False
Let i(z) = -762*z - 3814. Let x be i(-5). Let j be (-10)/4*(-5)/(-3). Which is bigger: x or j?
x
Let k be (1/1)/(8/(-280)). Let l be 16/14 + 320/k + 9. Which is smaller: 9/8 or l?
l
Suppose -l + 6*l + 3*z - 18 = 0, -2*l + 5 = -z. Let i be (l/(-6))/(3/12). Suppose 9 = -q + 6. Which is smaller: q or i?
q
Let l = 5010 - 5039. Is l != 3.2?
True
Let f = -0.4 - -0.9. Let v(s) = -s**3 - 6*s**2 + 4*s - 10. Let g be v(-6). Let j = g + 169/5. Is j less than or equal to f?
True
Let r = -49.8943 + 0