04. Is t at least as big as 203?
False
Let c = -26373054/589 + 44776. Is c bigger than -1?
True
Let k = -19.2 + 19.4. Which is bigger: k or -75?
k
Let s be (-27)/(-12) - 1/4. Suppose -7*j + 132 = -4*j. Suppose -40*o = -j*o. Is s less than o?
False
Let z = -2126 + 2120. Which is smaller: 56 or z?
z
Suppose -3*s = 5*s - 8. Which is smaller: s or -806?
-806
Let s = 74/29 + -17744/6931. Suppose 0 = 2*p - 3*y - 4, 2*y = -p + 3*p - 2. Which is smaller: p or s?
p
Suppose -4*c = 8, -4*c = -u - 341 + 52. Is u < -1?
True
Let t = 0.02 - -5.98. Let d = -4 + t. Let n(c) = c - 2. Let w be n(4). Is w greater than d?
False
Suppose 2*c - 104*v - 7 = -99*v, c = -v. Is c < 1/162?
False
Suppose 8*l = -l - 36. Let t = l + 4. Which is greater: -4/11 or t?
t
Let c = -3 + -3. Let i = -1 - c. Let p = 5.2 - i. Which is smaller: p or 1?
p
Let g(d) = -8*d + 35. Let h be g(12). Let v = 62 + h. Is -2/163 less than or equal to v?
True
Let d = 17/4 - 4. Let k = 1.3 - 58.3. Let v = k - -57. Are d and v nonequal?
True
Let m = 98.97 + -87. Let s = -12 + m. Let d(x) = -x**2 - 8*x - 1. Let c be d(-8). Do c and s have the same value?
False
Suppose -5 = 9*a - 41. Which is smaller: a or -6/13?
-6/13
Suppose 0 = -2*a - 311 + 7. Is a < -145?
True
Suppose -16*o = -5*o. Is o at most as big as 21.5?
True
Let p(m) = -9*m**3 + 2*m**2 + 11. Let o(q) = 3*q**3 - q**2 - 4. Let g(t) = -8*o(t) - 3*p(t). Suppose 5*w = -3 - 2. Let v be g(w). Is v greater than -3?
True
Suppose -95 = 8*o - 27*o. Let j be 1*(2 - 5)*3. Let y(q) = -q**3 - 10*q**2 - 9*q + 6. Let n be y(j). Which is bigger: o or n?
n
Let z = 0.17 - 0.13. Suppose -3*j - 2 = -5*j. Suppose -4*u = -3*u + 5, -u = 4*s + j. Which is smaller: z or s?
z
Let h be (6/(-8))/(2/8). Let p be -1*(0 - 1 - (-4 - -10)). Suppose 5*d + 22 = p. Is d bigger than h?
False
Let r = 11 + -7. Let i = 18.18 + -18.08. Is r <= i?
False
Let j = 1265 - 2531/2. Suppose 4*b + s = -10, -5*b = -5*s + 2*s + 4. Is j at most b?
False
Suppose -2*g = -0*g - 4. Let p be 1 + g + (-46)/14. Let o = -0.3 + -2.7. Are o and p equal?
False
Let l = 0 + 2. Let x = 8 - 9. Let d be (-186)/(-168) + x/4. Are d and l unequal?
True
Let o = -3.1 + 3. Which is greater: o or 1.43?
1.43
Let y be (-2)/(-3)*(6 - (-520)/(-39)). Which is smaller: -5 or y?
-5
Let d be 10/(-45) + 581/63. Which is bigger: 3 or d?
d
Let k = -10 + 6. Let s = k - -9/2. Suppose 0 = -n - b + 4*b, -3*b - 3 = 0. Which is bigger: n or s?
s
Let y be ((-325)/(-288))/1 - (-8)/(-36). Is 1 at most y?
False
Let u = -23407/3 - -7726. Let a = u - -79. Suppose -79 + 41 = -19*l. Is a >= l?
True
Let p = 35 + -52. Let r(f) = -6*f + 133. Let z be r(25). Is p at most as big as z?
True
Let y be ((-45)/6)/((-2)/(-4)). Suppose 4*j = x - 2, x + 11 = -j - 2. Let u be (3/y)/((-12)/x). Are u and 1 nonequal?
True
Let v = -1100 - -1099.99. Which is greater: v or 0.63?
0.63
Suppose -58 + 35 = k. Is k at least as big as -121/5?
True
Let d be 41/20 + 0 - 2. Let k be (-3 - -6 - 7 - -4)/3. Are k and d unequal?
True
Suppose -4*k = 5*j + 4, -2*j = 2*k - k + 1. Let w = j - -3. Suppose 5*q - 4*h - 24 = 0, 3*h - w = -2*q - 2*h. Is q greater than 4?
False
Suppose -110 = 2*x + 42. Let w = 609/8 + x. Is w equal to 0?
False
Suppose 77*v - 222 = 75*v + 4*b, v - 115 = -2*b. Are v and 111 unequal?
True
Let q = 0.2 - -0.1. Let s = 0.0462 + -0.1062. Is s smaller than q?
True
Suppose 0 = 3*d - 2*k + 435, 0 = -2*d + 2*k - 22 - 266. Is -143 bigger than d?
True
Let d = 2858810/303 + -9435. Is d less than or equal to 0?
False
Let f be 1/2 - (-14)/28. Let i(p) = -p**2 - 3*p + 6. Let j be i(-4). Are f and j non-equal?
True
Suppose l - i + 64 = i, 0 = 2*l + 2*i + 134. Is l greater than or equal to -68?
True
Let q be 72/(-130) - (-4)/10. Suppose -5*v - 4*m = -1, -5*v + 6*m - m + 10 = 0. Which is bigger: v or q?
v
Let r = -26 + 27.5. Let n = r + -1.5. Which is greater: 3 or n?
3
Let b(y) = -y**2 - 3*y - 4. Let q be b(6). Is q at most as big as -58?
True
Suppose 6*a = a. Suppose c + 1 - 5 = a. Suppose -c*f = -12, 2*p - f = p + 6. Which is greater: p or 8?
p
Suppose -4*b + n = 5, -b - 2*b - 4*n = 18. Let m be -2*2/10*(-13)/b. Is -2 at most m?
False
Let y be (((-3312)/330)/(-4))/(2/(-70)). Let b = y + 88. Which is greater: 1 or b?
1
Let f = 2.9 + -15.9. Let h = f + 17.2. Let u = h - 4. Which is smaller: -1/3 or u?
-1/3
Let i = -6230 + 6231. Suppose -203 = 2*d + 5*g, -d - 111 = -4*g + 10. Which is smaller: i or d?
d
Let r = -938 - -843. Suppose 0 = 4*h - 4*i + 396, 5*h - 4*i + 422 = -69. Is r < h?
False
Let b = 934.4 + -935. Are -0.7 and b equal?
False
Let u = -16 + 5. Let o(a) = a**2 + a - 9. Let k be o(0). Is u less than or equal to k?
True
Let s = -178851/23 + 7779. Which is smaller: s or 2?
2
Let a(l) = -3*l - 4. Let j be a(6). Let y(k) = -64*k + 363. Let g be y(6). Is j > g?
False
Let m = 29 + -57/2. Suppose z = 1 + 7. Suppose -4*o = -2*y - 2, 3*o = y - 6*y + z. Is o at most as big as m?
False
Let v = -2882/3 + 960. Is v less than or equal to 7/6?
True
Let o(c) = -c**3 + 14*c**2 + 35*c - 11. Let j be o(16). Let l(u) = 37*u - 1. Let a be l(1). Is j at most a?
False
Let m(x) = -x**3 - x**2 + 28. Suppose 4*a = -a. Let w be m(a). Let u = w - 63/2. Which is smaller: -4 or u?
-4
Let w = -6793 + 33819/5. Do -29 and w have the same value?
False
Let w be (-1 + 2)*15/(-25). Let z(l) = l**3 - 5*l**2 - 24*l - 2. Let c be z(8). Is w < c?
False
Let s be (18/36)/((-1)/22). Which is smaller: -14 or s?
-14
Let g = -90 - -209. Which is smaller: 118 or g?
118
Let i(z) = z**3 - 11*z**2 + 18*z + 12. Let b be i(9). Is 9 >= b?
False
Let u be (-12 - (8 + -16))*141/(-12). Is u greater than or equal to 46?
True
Let i = 30 - 23. Let k be 63/(-8) + i/(-56). Which is bigger: -11 or k?
k
Let m be 108/80*5 + -6. Are 0.27 and m unequal?
True
Let a be 23*(-3)/1*216/54. Is -276 smaller than a?
False
Let b = -57 - -59. Let d be (-3 + (0 - -1))/(b - 0). Which is smaller: d or 6/29?
d
Let g = -26 + 16. Let h(d) = 2*d**3 + 6*d**2 + 2*d - 4. Let u be h(-3). Does u = g?
True
Let t = 121/399 - 1/57. Let u = 13 - 13. Which is smaller: t or u?
u
Let o = -3295.8 - -3296. Suppose 0 = 3*x - 6*x + 57. Let q = x - 27. Which is bigger: o or q?
o
Let o be (53/(-106))/(2/12). Is -1 less than o?
False
Let j = 1436 + -1437.6. Which is smaller: j or -22/7?
-22/7
Let q(f) = -f - 2. Let w be q(-3). Let l = 25 - 20. Suppose -5*r = -0*r + 5*u + 5, 0 = l*r + 3*u + 1. Is r > w?
False
Let c(x) = x**2 - 3*x + 1. Let p be c(4). Let h(t) = 2*t**2 - 8*t + 6. Let m be h(p). Suppose d = -3*d - v + m, 2*d - 2*v = -2. Is d at most as big as 5?
True
Let v = -0.16 - -15.16. Let w = v - 16.1. Let f = 2.1 + w. Which is smaller: f or -1/23?
-1/23
Suppose -40*q - 4 = i - 44*q, i - 5*q + 5 = 0. Is i != 2/6579?
True
Let u = -4/181 - 169/543. Which is bigger: 0 or u?
0
Let h be (0/29)/(-2 - -3). Which is smaller: 2/1581 or h?
h
Let a(i) = -2*i**3 - 35*i**2 - 18*i - 21. Let b be a(-17). Let x be ((-3)/22)/(6/(-8)). Is x smaller than b?
False
Suppose -30*m = -25*m - 465. Suppose m = -8*l + 21. Is -13 greater than l?
False
Let o be (-5)/((2*-1)/(-1)). Suppose -18*f - 168 = -32*f. Let w be (-65)/20 + 3/f. Is o greater than w?
True
Let m(l) = 3*l**2 - 2*l - 25. Let v be m(5). Let h be -122*(2/8 + (-30)/v). Are 61 and h non-equal?
False
Suppose -3*z - 7*x = -5*x + 8, -5*z - x - 4 = 0. Is z not equal to 7/36?
True
Let d be -13 - 8/(-3 - 1) - -1. Let b be (82/12)/(5/d). Is b > -14?
True
Let y(m) = -8*m**2 - 81*m - 7. Let o be y(-10). Is 45/11 greater than o?
True
Suppose n + 1 = 5. Suppose 7*c + n = 3*c. Let i = 3/10 + -1/2. Is i greater than c?
True
Let b = -0.236 - -2.946. Let g = b + -0.41. Is g not equal to 1?
True
Let i(v) = -2*v**3 + 2*v**2 - 4*v + 2. Let q be i(2). Let r = -12 - q. Which is smaller: r or 4/7?
4/7
Let f = -0.019 + -215.981. Is f at most as big as 2/3?
True
Let s = -9319/589 + 300/19. Which is smaller: -1 or s?
-1
Suppose 11 = 3*h + 2*z, 4*z - 3*z = 3*h + 1. Let p be ((-16)/(-14)*-2 + 2)*152/(-228). Which is smaller: p or h?
p
Let o be 129/3 + (-5 - -5). Suppose 16 = -3*h + o. Let s be (-6)/h - (-38)/3. Which is greater: 13 or s?
13
Let v be (-1)/(-1)*-7*(-1)/(-17). Is v not equal to 1?
True
Let a = 25.44 + 6.56. Which is greater: a or -2?
a
Let k be -1 + 0 + (-6)/(-1). Suppose -20 = -5*g, z + k*g - 18 = 3*z. Which is greater: 0 or z?
z