Is t equal to -1?
False
Let n = 1/3841 + -710587/7682. Let y = n - -93. Which is greater: 2 or y?
2
Let f = 4575 - 22533/5. Is f >= 68?
True
Suppose -l - 1 = -0. Let y be (-3)/(-9) - (3 + (-232)/84). Which is smaller: y or l?
l
Let z(x) = -6*x + 3. Let g be z(-1). Let h = g - 3. Let w be (14/(-4))/((-1)/h). Which is smaller: w or 0?
0
Let o be (1668/40)/(0 - 2/5). Let j = -10401/100 - o. Are j and 0 equal?
False
Suppose 3*y + 0*x - 3*x + 69 = 0, 0 = 5*y + 3*x + 115. Let k = 25 + y. Is 2 at most k?
True
Let w = 1111.38 - 1127. Let d = 187.38 - 187. Let b = d - w. Which is smaller: b or 1?
1
Let d be 3 - ((-6150)/36)/(-25). Let r = 0 + -3. Which is bigger: d or r?
r
Let f = 26 - 12. Let q be (-63)/f - 1/(-2). Let a be q/6 + (-51)/(-36). Which is greater: 1 or a?
1
Let x be (-85)/(-22)*17/((-136)/16). Does x = -7?
False
Let j = 0.7 + 2.3. Let p = 1.946 + 0.054. Let t = p + -4. Is j at least as big as t?
True
Let i = 40 - 36. Let n be i/3*8/(-8). Which is smaller: 2/3 or n?
n
Let r be (4/42)/((-8)/(-634)). Let n = 54/7 - r. Let c(t) = -t**3 + 4*t**2 - 6*t + 10. Let p be c(3). Which is smaller: p or n?
n
Let v = 1510 - 1511. Which is bigger: -5/36 or v?
-5/36
Let c = -243 - -107. Which is smaller: c or -137?
-137
Suppose c + c - 3*h + 9 = 0, -4*c - 6 = -2*h. Suppose 5*b + 4*r - 25 = 6*r, c = -3*r. Which is bigger: b or 2?
b
Let n = -676394/455 - -7434/5. Is n >= -1?
True
Let p be (-900)/(-84) + 4/14. Suppose 4*u - 14 - p = 3*l, 0 = -3*u + 2*l + 18. Let w = u + -3. Is w < 1?
False
Let k = -7 + 7. Let s be (-1 - (-2 - k)) + 4. Let a = -3 + 9. Do s and a have different values?
True
Let w = -2/803 - 8827/2409. Is 1/4 != w?
True
Let i(q) = -16*q + 2. Let h be i(-2). Let m = h + 31. Let v be 34/(-70) - (-13)/m. Is v less than -1?
False
Let g = -91.811 + -0.189. Let x = g - -91.8. Which is smaller: x or 0?
x
Suppose 5*h = 10, -3*h + 18 = -2*q - 0. Let l be 2/q + (-14)/3. Which is smaller: l or -6?
-6
Let j = 5 + 39. Let c = -25 + j. Which is smaller: 20 or c?
c
Let c = -2102 - -2109. Suppose -t - 3 = -3*v, 0*t + 4*t + 4*v = 20. Is t at most c?
True
Let h be (3 - (1 - -2)) + 6. Let u(a) = a**3 - 5*a**2 - 4*a - 8. Let b be u(h). Suppose 2*r = -x - 0*r - b, 2*x + 32 = 2*r. Is -11 not equal to x?
True
Let v = -9 - -62. Let q = -1535 + 1535. Is q bigger than v?
False
Let p = 443 + -207. Let z = p + -3777/16. Which is smaller: z or 0?
z
Let t = 82 - 28. Let x be 225/t + -5 + 1. Is 1 greater than x?
True
Let r = -67 + 16. Let d = -51.1 - r. Which is greater: 0.1 or d?
0.1
Suppose -3*q = -8*q + 10665. Let r = q + -720955/338. Let o = -1697/2366 - r. Which is bigger: o or -2?
o
Let b = -10 + 14. Suppose b*j - 2 = -3*l, -3*j + 3*l = -6*j. Is j smaller than 3?
True
Let v be -6 - (-12)/66*229. Which is greater: v or 37?
37
Let h = 1.88 - 1.76. Is h > 10/9?
False
Let k = -0.76 + 0.813. Let s = k - 0.253. Which is smaller: 0.7 or s?
s
Let k = -1511/2 + 741. Is 3 less than or equal to k?
False
Let y = 141 + -141. Which is smaller: 7/10 or y?
y
Let k = 26.9 - 24.9. Which is smaller: k or -0.33?
-0.33
Let a be 8372/308 + (72/(-33) - -2). Which is smaller: 510/19 or a?
510/19
Let a = 33 - 28. Let l be (-59)/(-2) - 3/(-6). Suppose 6*t = t + l. Which is smaller: a or t?
a
Let q = 861 + -864. Is -39 smaller than q?
True
Let j = -1.2 - -1. Let b = -63 + 10. Let z = b + 53.3. Is j at least z?
False
Let r = -87 + 98. Suppose -r = -2*k - 285. Does -137 = k?
True
Suppose -11*t + 19*t + 12*t = 0. Which is greater: t or -254/9?
t
Let v = 4535.91 - 4556. Let h = v + 20. Is -2 <= h?
True
Let z = 314 - 314. Is z greater than -6/59?
True
Suppose -2*n = -2*l - 0*l - 566, 3*n = l + 289. Let a be ((-48)/l)/((-6)/(-20)). Which is smaller: 0 or a?
0
Let h = 3.06 - 0.26. Let t = h + -3.7. Which is smaller: t or -2/5?
t
Let g = 78 + -105. Is 0.1 bigger than g?
True
Let o(a) = 4*a + 10. Let c be o(-7). Does c = -11?
False
Let x = -869 + 28673/33. Suppose 0 - 1 = u. Is u less than or equal to x?
True
Suppose -4*t = t. Let x = 623 - 24295/39. Are t and x unequal?
True
Suppose 4*t = -8, -v - 2*v = -5*t - 67. Let s = 610 - 420. Suppose -7*j = -17*j + s. Is j greater than or equal to v?
True
Suppose 3*z - 70 - 38 = 0. Let r = z - 57. Let p be (20/75)/(r/(-15)). Is p < 1?
True
Let t(k) = -k**2 + 27*k - 172. Let j be t(12). Suppose 0 = -5*f - 20, -88 = -3*i + 4*f - 12. Suppose -12*y + j*y - i = 0. Which is smaller: -3 or y?
y
Let j(g) = g**2 + 45*g + 76. Let n be j(-8). Is -220 >= n?
True
Let c = 4.7 - -0.1. Let f = c + 26.2. Which is greater: 1/3 or f?
f
Let l = -100.387 - -100.4. Is 0.1 greater than or equal to l?
True
Let x = 119.9 - 120.9. Is 482 greater than x?
True
Let n = 84 + -84.03. Are n and -49 unequal?
True
Suppose 3*j = -0*j - 15. Let b(c) = c**3 - c**2 + c - 10. Let k be b(0). Let a = k - j. Is -5 > a?
False
Let s(n) = -n - 4. Let b be s(-7). Suppose -2*a + b = -21. Suppose 14*u = a*u + 10. Which is bigger: u or -2/7?
u
Suppose -46*t + 129 = 83. Which is smaller: -42/137 or t?
-42/137
Let f(z) = z - 10. Let j be f(18). Let v(o) = o**3 - 9*o**2 + 8*o - 3. Let n be v(j). Is n at most -5?
False
Let y = 0.0301 - 0.1801. Which is greater: y or 5?
5
Let a = -71 - 21. Are 0 and a equal?
False
Let m(b) = -127*b - 1. Let v be m(-2). Let c = -5321/21 + v. Let r = c - -2/3. Is -0.07 smaller than r?
True
Let f = -34 - -39. Suppose -f*h = -15, x - 9 = -x - 3*h. Do 0 and x have the same value?
True
Let k(c) = c**2 - 8*c - 130. Let v be k(-7). Is v at most -174/7?
True
Let o = 23 + -35. Let h = -11.86 - o. Let v = 88 - 89. Does v = h?
False
Let q be 108840/440 + 8/(-22). Is 247 at most q?
True
Let n = 75.5 + -77. Let d = 3 + n. Are 3 and d equal?
False
Let p = -41 - -42.27. Do p and -0.1 have different values?
True
Let g be (64/480)/((-1)/(-177))*-5. Which is smaller: g or -121?
-121
Suppose 5*w = 6*w - 4. Let m(y) = -y**2 + 7*y + 3. Let j be m(w). Do -1 and j have the same value?
False
Suppose -2*n + 2*k + 5 = 21, -3*n = -2*k + 26. Is -19 > n?
False
Let o = 123404474/1873 + -65886. Let x = 694867/7492 - o. Let i = x + -90. Which is greater: i or 2?
i
Let b = -208 - -31. Do b and -177 have the same value?
True
Let t = 7285/56 - 1115/8. Which is smaller: -9 or t?
t
Let z = -1543 + 1469. Is z greater than -8?
False
Let b = -10 + 14. Let k be (1 + b/(-8))*0. Suppose s - 4 = -2*c, k*c - 21 = -5*c + 3*s. Which is smaller: c or 2?
2
Let l = -88 - -91. Suppose -10*m - l*m = -m. Do m and 3/8 have the same value?
False
Let c = -64 - -68. Suppose 0 = -2*a + 3*s - 6, 0 = -c*s + 3*s. Which is bigger: 0.3 or a?
0.3
Let q be -4*(0 + 3/4). Suppose 0 = -f + a - 0*a + 43, a = -5*f + 245. Let v = 43 - f. Is v equal to q?
False
Let g = 109 - 164. Let o = -23 - g. Which is bigger: o or 33?
33
Suppose 9 = -4*o - 5*j, 5*j = j - 20. Suppose 1 = -5*v - 4, -2*h = -o*v - 10. Suppose 0*x + h*x = 0. Which is smaller: x or 2?
x
Let w be (5 - 2) + 1 - -1. Suppose i = -4*i + w. Is i equal to 18?
False
Let d(u) = -2*u + 15. Let w be d(-24). Let n be 14/w + 7/9. Which is smaller: 31 or n?
n
Suppose 4*k - 34 = -18. Let p be k + (-2 - 0/1). Let x be (0 + p)*-1 - -7. Is 3 > x?
False
Let o = 12 + -7. Let g = -19.9 - -14.8. Let x = o + g. Is -0.08 equal to x?
False
Let m = 0.66 - 0.7. Let f = m + 0.26. Let x = f + -0.12. Which is smaller: -1 or x?
-1
Suppose 0 = -5*r + 10*x - 8*x + 463, -2*r + 4*x = -182. Which is greater: 0.1 or r?
r
Suppose -3*b = 4*c + 185, 0 = -c + 5*b - 21 - 31. Let f = 65 + c. Is f > 15?
True
Let b(i) = 113*i - 402. Let z be b(5). Is 0 smaller than z?
True
Let d be (-12)/20 + 1*14/(-35). Let a be 1/(-76)*(-16)/(-12). Is a != d?
True
Let x be (-182)/39*(-6)/4. Suppose -x*t = -3*t - 5*k + 16, -3*k + 12 = 0. Which is bigger: t or 10/11?
t
Suppose -9*s = -11*s - 30. Let y = -10 - s. Which is smaller: y or 4?
4
Let t = -1558.89 - -1533. Let h = t - -26. Which is smaller: 1/2 or h?
h
Let u = -107/20 - -2849/540. Which is bigger: -18/11 or u?
u
Let s = -0.4 + 2.4. Let f be 8/(-10)*(-210)/12. Let b be 26/7 + 4/f. Which is smaller: b or s?
s
Let p = -11 + 13. Let f be (0 + -1)/(p/32). Let a = 16 + f. Is -3/14 bigger than a?
False
Let n = -81 + 45. Let a be (-7)/4 + (-27)/n. Let s(b) = b**3 - 6*b**2 - b + 5. Let k be s(6). Is a greater than k?
False
Let x = -949 - -1012. Which is smaller: 66 or x?
x
Let n(c) = 10*c**2 + 3