5 + -12.2. Let j = 51.1 - 54. Let o = j + m. Is 1/4 equal to o?
False
Suppose -150 = 5*q + 545. Is q less than or equal to -137?
True
Suppose -4782 = 7*x - 5062. Does x = 40?
True
Let p = 14 + -14. Let g be (-5)/(-345)*1*2. Which is smaller: p or g?
p
Let c = 112 - 111. Which is smaller: 1/167 or c?
1/167
Suppose 301 = -4*d + 305. Is d at least -5?
True
Let f be 44/(-3) + 12/18. Let w = f + 15. Which is bigger: w or 1/3?
w
Let m be (2 - 2266/(-10))*(-420)/(-126). Is 762 greater than m?
False
Let k(d) = -24*d**3 - d**2 - 5*d - 5. Let b be k(-1). Let z = 0 - -24. Which is bigger: z or b?
z
Let j = -0.9388 + -0.0612. Which is smaller: j or 0.14?
j
Let z be (291 + 0)*210/(-225) + -6. Are -278 and z unequal?
True
Let f be ((-12)/4)/((-6)/(-4)). Suppose -5*i + 5 = -0*i. Let m be (9 + -6)*i/(-3). Which is smaller: f or m?
f
Suppose 13*b - 7 - 71 = 0. Let w be b/(-15) - 282/(-5). Which is greater: w or -1?
w
Let u = -2603/315 - -87/35. Suppose 0 = 131*y - 126*y + 25. Is u at least y?
False
Let x = 299 + -2695/9. Let k = 25 + -14. Let m(l) = -l**3 + 12*l**2 - 11*l. Let t be m(k). Which is bigger: t or x?
t
Let u(l) = -2*l**2 - 6*l + 10. Let g be u(-5). Let z be ((-2)/(g/(-5)))/(2/2). Which is greater: z or 2/25?
2/25
Let t be 2 - (-7 - (2 - 3)). Suppose -3*n = -n - 4*b + t, 3*n = 2*b. Suppose 0 = c + n*c. Is c >= -1/14?
True
Let g = -48 - -46. Does -7/5 = g?
False
Let g be 5/(-35) + 128/14. Let k be (g/6)/(1/(-3)). Suppose -2*i = -5*n + 3*i, 0 = -3*n + 2*i - 4. Does k = n?
False
Let n(p) = -9*p - 3. Suppose 10*k - 6*k = -36. Let g be n(k). Let z be ((-40)/g)/(38/57). Which is bigger: z or -2?
z
Suppose -28*a - 34 = -11*a. Let u be (a/4)/((-1)/(-22)). Which is greater: u or -12?
u
Let z = 39.3 + -3.3. Which is smaller: 0.2 or z?
0.2
Let f be 3/6 - 147/318. Let n(t) = t**2 + 10*t + 11. Let c be n(-9). Suppose -1 = b - c. Does b = f?
False
Suppose w + 65 = 90. Let q be (60/w - 4)/(-2). Which is bigger: 0 or q?
q
Suppose -2*y - 14 = -0*y. Let w = y - -9. Suppose 2*i - 27 = h - 2*h, -5*h = -w*i - 3. Are i and 12 equal?
False
Let h(q) = -q**3 + 18*q**2 - 31*q - 14. Let f be h(16). Let y be ((-11)/(-6))/11 - f/12. Which is greater: y or 3/4?
3/4
Let l = -2776 + 2761. Let t be (4/6)/(4/(-93)). Which is smaller: t or l?
t
Let y be 34 - (2/2)/((-4)/24). Which is smaller: 32 or y?
32
Let k = 3.03 - 2.6. Let z = -0.13 + k. Does 1 = z?
False
Suppose -9 = 2*f + 5*n - 30, -5*f = -3*n + 25. Let k(z) = -19*z + 20*z + z**2 + 0 + 3. Let v be k(0). Does v = f?
False
Let g = -39831/19 - -2097. Let p(a) = a**2 + 13*a + 24. Let j be p(-11). Does g = j?
False
Let p(x) = -1 + 0*x - 4 - x - 1. Let j be p(-3). Let g = -105 - -310/3. Is j less than g?
True
Let p(f) = f - 2*f + 2 + 0. Let b be p(0). Suppose 112*t = 101*t + 33. Is t equal to b?
False
Suppose 0 = -30*a - 37 + 1987. Is a at least as big as 64?
True
Let s = 0.1603 + -230.1603. Which is smaller: s or -4?
s
Suppose -v + 263 = 58. Suppose -4*w + 81 - v = 0. Do w and -31 have different values?
False
Let z = 97 + -100.35. Let n = 0.35 + z. Is n equal to -1/2?
False
Suppose -5*l - 3*t = 0, 2*t + 20 - 4 = 2*l. Suppose 1 + 5 = l*a. Suppose -3*v - 9 = u + 11, -4*u = -a*v - 4. Which is bigger: v or -4?
-4
Suppose 4*a + 46 = -78. Let l = -19684/3 + 158219/24. Let j = a + l. Is j > 1?
False
Let m = -866 - -538. Which is smaller: m or -327?
m
Let u = 259 + -263. Is u equal to -21?
False
Let p(a) = a**3 + 11*a**2 + 31*a + 4. Let i be p(-6). Which is smaller: -0.017 or i?
i
Let w = -21 + 18. Suppose 0 = -2*p + 3*p + 2*c + 4, -3 = 3*c. Is p less than or equal to w?
False
Let a(j) = 45*j**2 + 4*j + 3. Let q be a(-1). Suppose -4*m + 3*m + 2 = 0. Suppose 2*l - q = -m*l. Do l and 12 have different values?
True
Let j = 6405.1 + -6405. Let d = 6/257959 - -451169151/49012210. Let k = d + -91/10. Is j greater than k?
False
Suppose -n + 7 - 11 = 0. Let k be n + ((-27)/(-4))/1. Suppose -x + 9 = 2*x. Does x = k?
False
Let i = -6.4 + -24.6. Is i equal to -2?
False
Let c be (6 + -3)*(-4)/(-30). Suppose -3*m + 27 = 4*v - 0*m, -2*m - 2 = -4*v. Suppose 0*b = 3*b + v. Is c less than or equal to b?
False
Let u be ((-26)/(-4))/(10 - (-2508)/(-253)). Which is bigger: u or 76?
76
Let c be (34/1)/((-6)/3). Suppose -5*f = -0*f - 65. Suppose 3*r = -f - 35. Is c smaller than r?
True
Let z = 0.3 - -0.7. Let p = z - 0. Let n = 20662 - 20661. Do n and p have the same value?
True
Let f be (-33)/(-12) - 12/16. Let l = 31 + -12. Let s = l + -16. Is f less than or equal to s?
True
Let d = -932 + 931. Which is smaller: d or 1/1055?
d
Let j(q) = -q - 9. Let c be j(-4). Let t = 106 - 111. Is c greater than t?
False
Let f be -4 - ((-57)/(-33) + -2) - -4. Is f < 0.1?
False
Let y(l) = -7*l**2 + 2*l. Let v be y(2). Let h = 2930 + -2954. Is h < v?
False
Let j = 0.19 - -0.02. Let o = j + -0.31. Which is smaller: -13 or o?
-13
Let a be (-2)/4*(0 + -4). Let d be 9/((-4)/64*-6). Suppose -a*p = 3*k - 7*p - 16, 4*k = 4*p + d. Is 7 smaller than k?
False
Suppose -2*z = -x + 13, 3*z + 10 = -2*x + 1. Let r = 10 - 6. Let k be r/(-10)*(-40)/16. Which is bigger: x or k?
x
Suppose -37 = 7*j - 30. Which is smaller: 4/145 or j?
j
Let t = -0.043 - 0.257. Are -0.03 and t unequal?
True
Let u be 6/(-21) - (-416)/(-14). Let g = -34 - u. Which is smaller: -5 or g?
-5
Let m = 0.1 + -4.1. Let t = -361 - -366. Let s = m + t. Which is bigger: -6/7 or s?
s
Let x be (-5)/(-20)*(-8)/6. Suppose -2*h + 9 - 3 = 0. Suppose 17 = -2*l + 3*r + 4, -13 = -h*l - 2*r. Which is smaller: l or x?
x
Let x = -29/14 + 403/154. Is x > 0?
True
Suppose 0*r - 4*r + 8*r = 0. Let l be (3/81*3)/(r - -1). Which is smaller: l or 0?
0
Let x be (-16314)/14 + 738/(-63) + 12. Is -1164 greater than x?
True
Suppose -w = 3*q + 338, 5*q + w + 554 = -3*w. Is -115 >= q?
False
Let v = 1010.09 - 1006. Let w = v + -4. Let c = -0.91 - w. Which is greater: c or 1?
1
Suppose -2*l - 63 = 4*h + 35, 0 = -4*l + 20. Which is smaller: h or 1?
h
Suppose 35*f - 826 = -24*f. Is 13 smaller than f?
True
Suppose -m + 20 = 4*m. Suppose -m*w = 107 + 13. Let r be ((-55)/w)/(2/(-4)). Which is smaller: r or -4?
-4
Suppose -2*u - 51 = -3*u + 5*k, -4*k = -2*u + 114. Is 63 not equal to u?
True
Let v be ((-1)/(-6))/((-700)/(-231) - 3). Which is smaller: v or -3?
-3
Let j = 11.1 + -12.1. Which is greater: -0.052 or j?
-0.052
Suppose 0 = -27*o - 25 + 52. Which is bigger: 0.0591 or o?
o
Let j = -28 + 77. Suppose d - 4*i - 2 + 5 = 0, -2*d - 3*i + j = 0. Suppose -d*m + 19*m = 0. Does m = 3/5?
False
Suppose p = 3*p - 10. Suppose 0 = 6*t - p*t. Let z = -681/20 + 34. Is z <= t?
True
Let o be (-2)/3 + 1 - 0. Let w(c) = 4*c. Let g be w(4). Let q = 15 - g. Which is smaller: o or q?
q
Suppose 4*n = 5*b - 0*n + 52, -3*b - 3*n = 42. Let l be b/(-60) - 164/(-5). Is l greater than or equal to 31?
True
Let v = 4 - 4. Suppose 0 = 3*q - 0*q + 3. Let r be 2/(-11*(2 + q)). Is v > r?
True
Let u = 0.3156 + 0.6844. Let b = 0.91 + -0.11. Is b smaller than u?
True
Let o = -0.25 - -0.43. Let k = o - -0.02. Which is bigger: -4/3 or k?
k
Let n = -3 - -8. Suppose o = -4*o - n*z, z = 0. Is o greater than -2/13?
True
Let m be 340/15 - (7/(-3) - -2). Suppose -4*s - s - m = 2*b, 0 = -5*b - s. Are 7 and b equal?
False
Suppose 3*q - 2*x - 1 = 0, -5*q + x = -x + 1. Let h(n) = 2*n**2 + 4*n + 3. Let k be h(q). Suppose -a + 4*d = 4 - 14, 3*a = -4*d - 2. Which is smaller: a or k?
k
Suppose 3*d = 3*b - 15, 0 = 3*d - 0*d - 2*b + 10. Suppose -s + d + 8 = 0. Let p be 2/(-7) + s/28. Are p and 1 nonequal?
True
Let w be (-3 + 2)*(12/(-4))/(-12). Let c(d) = 3*d**2 - 4*d - 3. Let t be c(-3). Is w at most t?
True
Let a(d) = -13*d**3 - 5*d**2 - 8*d - 3. Let l be a(-1). Which is bigger: l or 11?
l
Let h = 3463054/11713 + -5034/17. Let z = -2/689 + h. Which is smaller: -1 or z?
-1
Let w be (-16)/(-104) + 17814/(-26). Let u = 21233/31 + w. Which is greater: u or 0?
0
Let t be ((-9)/4 + 1)*(-63 + 67). Suppose -4*m + 5*w = -49, -4*m = w + w - 14. Let i be (4 - 2)*m/(-4). Which is greater: t or i?
i
Let x = 129/2 + -66. Let j be 30/4 - (86 + -79). Is x < j?
True
Let h = -2005/4 - -503. Which is greater: h or 0?
h
Let b be -1 - (-2 - 144/21). Let i be 1 - 3 - 3063/(-315). Let q = b - i. Is q greater than or equal to 0?
True
Suppose 4*c = 11*c - 112. Let j be (-2)/(-8) + (-8)/c. Is 1/2 greater than j?
True
Suppose -5