 0?
0
Let s = -24783 - -24783. Let n = -1 - -1. Suppose 12 = -2*p - n*p. Which is smaller: p or s?
p
Let o = 23 + 2. Let w = o - 24. Is w greater than or equal to 5/14?
True
Let v = 3.1 - -0.9. Let x = 146 - 151. Which is smaller: v or x?
x
Suppose o - 4854 = -4*y, -25 = 5*o - 35. Is y at least as big as 1213?
True
Let q be (-1)/4 - 23/(-124). Let f = 952 + -952. Which is greater: q or f?
f
Let z = 9 - 4. Let x be (-4)/(-6) - z/3. Let m be ((-7)/(-3))/(x/(-3)). Which is greater: 6 or m?
m
Let u(d) = 5*d**2 - 2*d - 2. Let s(j) = j - 13. Let l be s(13). Let c = l - -2. Let q be u(c). Is q at most as big as 14?
True
Suppose 0 = 2*c - c + 2*g + 54, -c - 3*g = 49. Let n(a) = 5*a**2 - 41*a + 10. Let x be n(13). Let r be (-2)/(-7) + c/x. Which is smaller: 1 or r?
r
Let s(i) = -27*i**3 + 2*i - 2. Let b = -28 - -29. Let a be s(b). Let q be ((-4 - -1)/a)/(-1). Is 1 at least q?
True
Let w = 52 - 42. Let v = 6 - 7. Does v = w?
False
Let l = -176 - 4. Let x = -23599/5 - -4539. Let c = x - l. Is 1 >= c?
True
Let z be 78/(-10) + (-9 + -1)/(-5). Let t = 2 - 7. Which is smaller: t or z?
z
Suppose -7*m + 0 = 7. Let o be (-2)/m*(-9)/18. Is -1/6 at most as big as o?
False
Suppose -1489 - 5603 = 6*d. Let l be d/(-126) + 4/14. Is l > 11?
False
Let h be (-10)/(-91)*(-742987)/63. Let b = -1296 - h. Is 1 greater than b?
True
Let p(r) = 9*r + 18. Let v be p(9). Let k be (-2)/(-3)*(-189)/v. Is k <= -1?
True
Let s be (-17)/(-34)*(-24)/1. Let x be (-2*118/4)/(s/(-24)). Which is bigger: x or -119?
x
Let d be 66/(-4)*20/(-6). Let f = -77 + d. Which is smaller: -21 or f?
f
Let l(k) = k**2 - 4*k - 6. Let s be l(5). Let y be (30/(-12))/(s + -8). Let c = y + -1/36. Which is smaller: 5 or c?
c
Let y be ((-28)/12)/7*-3. Suppose -q + 4 = -y. Suppose -q*x = 5*a, 18 = -3*x - a + 4*a. Which is greater: x or -2?
-2
Let u(o) = o**2 - 3*o + 7. Let l be u(0). Suppose l = -7*q - 0*q. Let h = 2 + -3. Is h < q?
False
Let s be (-4)/18*(7 - 8). Let p(t) = -3*t - 9. Let g(h) = -h - 1. Let a(y) = 2*g(y) - p(y). Let c be a(-6). Which is smaller: s or c?
s
Let k be 40/(45/(-9)) + 10. Let s(a) = -a + 7. Let d be s(5). Is k > d?
False
Let z(u) = u**2 + 9*u - 8. Let j be z(-10). Suppose -s + 27 = j*s. Let x = 23.91 + -22.91. Which is greater: s or x?
s
Let a be ((-3)/(45/(-42)))/((-4)/(-40)). Let r = a - 10. Which is smaller: 19 or r?
r
Suppose -5*u - 5*g = 50, 2*u - 3*g + 50 = -3*u. Let k be (-4)/u - (-96)/(-15). Let h = 1 - 6. Is k less than h?
True
Let c = -128728/9 + 14420. Suppose 0 = z - 4*w - 133, -5*w - 16 = -w. Let j = z - c. Is j smaller than 0?
False
Suppose -x + 5*x - 440 = 0. Let n = -129 + x. Which is bigger: n or -0.1?
-0.1
Let w = 0.02 - 0.02. Let c = 8/91 - 558/4277. Is w smaller than c?
False
Let c = -2752/9 - -21989/72. Let l = -1 + 1. Suppose l = -a - z - 4, -a - 4*z = a + 16. Is a at most as big as c?
False
Suppose 5*b - 90 = -105. Is 2 less than or equal to b?
False
Suppose 5*i + k = 435, 2*i + 0*k = 3*k + 191. Suppose 5*y + 4*v + 15 = -57, -i = 5*y - 4*v. Let n = y - -19. Which is smaller: 3/2 or n?
3/2
Let a be 0/(-3*4/(-6)). Let b = 2.6 - 33.6. Let u = b + 31.3. Is a > u?
False
Suppose -3*o - 2*g + 50 = -3*g, 0 = -4*o + 5*g + 85. Let l = -7 + 5. Let d be ((-5)/o)/((-14)/l). Is d less than 0?
True
Let y(r) = -r**3 - 4*r**2 + 2*r - 7. Let n be y(-5). Let z be 3*4/(n/(-10)). Suppose 0 = -3*q - 16 - 29. Is z at most q?
True
Let g = -0.8 + 0.6. Let o(i) = -i**3 - 7*i**2 - 2*i + 6. Let a be o(-7). Let p = a + -28. Which is smaller: p or g?
p
Let h = 235 - 235. Which is bigger: -1/303 or h?
h
Suppose -5*a - 9 = 1. Let l be (a + 0)/((-12)/(-54)). Which is smaller: l or -7?
l
Let w = -95/3 + 63/2. Which is smaller: 1 or w?
w
Let q = -143 + 125. Which is bigger: q or -8?
-8
Suppose 8*a = 25*a + 119. Let v = 0.21 - 0.31. Are a and v equal?
False
Let r be ((-225)/(-27) - 10) + (-4)/(-6). Which is bigger: -2/387 or r?
-2/387
Suppose 0 = 3*o - 3*i + 12, -49*o - 12 = -52*o - 3*i. Is -10/7 <= o?
True
Let v = -11 + 12. Let r be v - 1/(1/(-2)). Suppose r*g + 0*g + 3*c = -15, -4*c = 16. Which is greater: g or -2?
g
Let x = -0.29 + -0.126. Let o = x - -4.476. Let z = 0.06 - o. Is -3 smaller than z?
False
Let d be 2 + -3 + 0 - 33. Let h be (2 - (-72)/d)/1. Let x = 3556 + -3558. Is h at least x?
True
Suppose 0 = -17*d + 174 + 217. Which is smaller: d or 3?
3
Let t be (2 + -2 + -35)*42/(-35). Let g = 107 + -107. Which is smaller: g or t?
g
Let g be ((-2)/(-2))/(14 + 82/(-6)). Is g smaller than -3?
False
Let j be ((-608)/380)/(12/(-105)). Let n = 15 + -1. Is n greater than or equal to j?
True
Let l = -0.9 + -2.6. Let s = l - -3.3. Let k = 44/5 - 8. Which is smaller: s or k?
s
Let s = 8 - 16. Let h = -13 + 4. Do h and s have different values?
True
Suppose -14*t = -15*t - 1. Let g be 0 + -4*t/20. Let s = -16 + 17. Is g less than s?
True
Let g be ((-1255)/36)/5 - 30/(-6). Is g smaller than -3?
False
Suppose -2*d - 32 = 2*d. Let s = 13 + d. Are 5 and s unequal?
False
Suppose -5*z = -44 - 26. Suppose -5*j + z = 2*j. Is j >= 0?
True
Suppose 26 = 3*h + 4*v - 0*v, 0 = 2*h - v + 1. Suppose 2*z = 5*c - 50, -h*c + 2*z = 5*z - 20. Let l = c + -10. Which is smaller: l or 2/11?
l
Suppose 0*k = 3*k - 12. Suppose -5*j = p + 150, p + k*p = 2*j + 60. Let u be 8/(-14) - j/70. Which is smaller: 1 or u?
u
Let a = 12.24 - 12. Let b = a + 3.76. Let q = -1.8 - -2.8. Is q >= b?
False
Let t = 906 + -912. Let q = 5.93 - -0.07. Let z = t + q. Is z greater than 3/5?
False
Let v = -269.2 + 268.859. Which is greater: v or 3?
3
Let u = -679 - -678. Is 2/541 equal to u?
False
Let l = 69801/436 + -641/4. Is l <= -1?
False
Let z = -428 + 428.35. Is z < -1/22?
False
Let i be -3*3/9 - -5. Suppose 5*q = i*q + 15. Let k be q/(-9) - (1 + -2). Which is smaller: -2/11 or k?
k
Let v be 3/12 - (-573)/12. Suppose v = -2*r + 5*r. Let n be (-3)/2 - (-8)/r. Is n at least 1?
False
Let v = 48.46 - -2.54. Is 6 < v?
True
Suppose 24*m - 20*m = -24. Is m not equal to -76/11?
True
Let d = 170.4 - 170.3. Which is smaller: d or 0.016?
0.016
Suppose -1234 = -15*g + 326. Is 102 != g?
True
Let p(v) be the second derivative of v**5/20 - 2*v**4/3 + 2*v**3/3 - 23*v**2/2 + 14*v. Let w be p(8). Which is bigger: w or 10?
10
Let z = 8.3 - 8.2. Suppose 15 = 7*r - 2*r. Suppose 18 + 3 = r*v. Which is greater: z or v?
v
Suppose 0 = -10*t + 3*t - 7. Let d be 6/9*(8 - t). Which is smaller: d or 5?
5
Suppose 0 = -w + 5*h - 30, 5*h - 72 + 2 = 5*w. Which is greater: -34/3 or w?
w
Let v(k) = k - 18. Let q be v(7). Let h(a) = -a - 15. Let u be h(q). Is u less than -7/2?
True
Let f = -33 - -20. Let i = 5 - f. Are -1 and i unequal?
True
Suppose -4*g + 4*k - 25 = 19, -50 = 4*g + 2*k. Which is smaller: g or -11?
g
Suppose 0 = -4*c + 1 + 7. Which is greater: 34/47 or c?
c
Let w = -222 - -224. Which is bigger: w or 5?
5
Let r be ((-18)/4)/(2/(-4)). Which is smaller: r or 29?
r
Let q = 9.7 + -9.8. Which is smaller: -9 or q?
-9
Suppose 0 = 8*t - 1996 - 2188. Is 521 >= t?
False
Let c(q) = -q**2 + 7*q - 1. Let b be c(5). Suppose -91*y - 12 = -87*y. Let a(u) = 2*u + 16. Let o be a(y). Which is smaller: b or o?
b
Let v(y) = -130*y + 1002. Let i be v(6). Is 222 <= i?
True
Suppose 197 = d - 3*y, d = -y + 236 - 39. Is d greater than or equal to 198?
False
Let q be (41/11 - 3) + -1. Let i be (0 - 2)*(-3 + 2). Suppose d + 5*n = -2*d, 0 = -4*d + i*n. Is q smaller than d?
True
Let v = -131 - -132. Does 0.7 = v?
False
Let o = 2797 - 2761.22. Let m = 36 - o. Is 0 <= m?
True
Suppose 0*b + 4 = -5*b + l, 5*l = 5*b + 20. Suppose b = -v - v + 6. Is v not equal to -1?
True
Let y(h) = -4 + 150*h**3 - 308*h**3 + 2*h + 159*h**3. Let o be y(2). Is o != 11?
True
Let r be (-2 + (-65)/(-34))/(-3). Let l(v) = 40*v - 161. Let p be l(4). Is r at most as big as p?
False
Suppose 28 = -4*d - 3*p, 47*d + 2*p + 7 = 46*d. Which is smaller: d or -85?
-85
Suppose 33 = -2*n + 7*n - 4*t, 3*t = -2*n + 4. Suppose 27 = -n*l - 103. Do l and -26 have the same value?
True
Suppose 4*p = 2*n + 16, n + 0*p + p + 11 = 0. Suppose -5*h + 0*t - 75 = 5*t, -5*h = t + 59. Let r be h + (2 - 3)*-1. Is n not equal to r?
False
Let k be (-11)/(198/(-12))*654/14. Let p = -5914/189 + k. Is p at least -1?
True
Suppose 0 = n + 3*n. Let z(j) = j - 7. Let v be z(5). Let r be -3 - (v + (-3)/5). Is r not equal to n?
True
Let a = -641 - -1207. I