 5/38 and g have the same value?
False
Let c = 13.687 - -0.313. Does -0.09 = c?
False
Let r be (1624/(-348))/((-2)/(-9)). Is r at least as big as -1?
False
Let n = -56.59 + 57. Let f = n - 0.38. Is 0 equal to f?
False
Let g = -7 + 9. Let l = 0.08 + -0.03. Let k = l - -0.05. Which is bigger: g or k?
g
Suppose 5*o + r = 145, 0*r + 70 = 3*o + 4*r. Suppose 8*l = 7*l + 28. Are o and l non-equal?
True
Suppose 5*h - 5*f + 35 = -7*f, -h - 5*f = 30. Is h >= -9?
True
Let w = 35 - 34. Let g be (268/130)/(-2) + w. Suppose 4*z - z = 0. Is z at most as big as g?
False
Suppose -3*l + 6*l = -5*t - 4, 4*t + l + 6 = 0. Is -263 at least as big as t?
False
Let w = 83 - 81. Does 1 = w?
False
Let z = -1.675 - 703.325. Which is smaller: z or 2?
z
Let m = 12611 + -12606. Let u = 2 + -5. Is u bigger than m?
False
Let s be (13 - 10)*-1*113/(-3). Which is smaller: 568/5 or s?
s
Let j be 5/((-100)/34)*-2. Which is smaller: 4 or j?
j
Let x(g) = -12*g**2 + 79*g + 16. Let w(d) = -4*d**2 + 26*d + 5. Let b(o) = 17*w(o) - 6*x(o). Let u be b(8). Are -15 and u unequal?
True
Let v = 1771/9 + -197. Is -39 at least v?
False
Suppose -p + 2*o = -2*o - 9, -23 = -2*p + 3*o. Suppose -p = 3*v - 10. Which is smaller: -31 or v?
-31
Let n = -537 - -600. Is 63 not equal to n?
False
Suppose -18*c = -7*c - 132. Which is smaller: c or 4?
4
Let k = 0 + 0. Let q = 1555 + -1551.4. Which is smaller: k or q?
k
Suppose -6578 = -159*c + 170*c. Is c at least -598?
True
Let z = -49/209 - -1/19. Let v(b) = -2*b + 22. Let k(l) = -3*l + 23. Let j(x) = 3*k(x) - 4*v(x). Let c be j(-19). Which is bigger: c or z?
c
Suppose -4*c + 5*c = 18. Suppose -3*o = 6 - c. Which is greater: o or 1?
o
Let i be (6 - (4 - 1)) + -3. Let r(q) = -q**2 - q - 5. Let y be r(i). Which is smaller: y or -2?
y
Let s = -149 - -1052/7. Let c be (-2)/7 + 8/28. Suppose -j + 6*j = c. Which is bigger: j or s?
s
Let r = 94/5 + -97/5. Let f = -35 + 2. Let j = -32.8 - f. Which is greater: r or j?
j
Let i be 1*(-3)/3 - 15. Let q be (-6)/(-9)*(-1146)/i. Let r = q - 48. Which is smaller: r or 1/7?
r
Let i = -1/239 + 246/1673. Is i > 0?
True
Let k = -1 + 0.97. Let s be 18/(-15) - 8/(-10). Which is smaller: s or k?
s
Suppose 4*o = -3 + 15. Suppose -p + o = -9. Let j = p - 12. Which is bigger: 5/8 or j?
5/8
Let f = 185 + -177. Which is smaller: 3 or f?
3
Let d = -0.3 - -0.4. Let w = 372 + -385. Is d equal to w?
False
Let p = 5/584 + 5397/584. Is 9 at most as big as p?
True
Let z = 1.9 + 6.1. Let p = -10 + 8.9. Let v = p + 2.1. Which is bigger: z or v?
z
Let m(a) = 12*a - 1. Let j be m(8). Suppose 6*h + 42 = -2*u + 2*h, -5*u - 5*h - j = 0. Which is bigger: u or -18?
u
Suppose 3*s + 30 = -4*b, -8*b - 36 = 4*s - 4*b. Let t be 16/402*8 - (-2)/s. Is 0 less than or equal to t?
False
Let f be 303/(-54)*2 + (-88)/(-396). Is 0.3 less than or equal to f?
False
Let s = -1165 + 1231. Let z = 161 + -95. Is z smaller than s?
False
Let k = 1 - 4. Let q(a) = -3*a + 2. Let g be q(k). Suppose 7 = g*w - 12*w. Which is greater: w or -6?
-6
Let j be (192/3936)/((1/(-2))/1). Let w = -19 + 18. Is w less than or equal to j?
True
Let m be 1*(0 + (1 - 2)). Let k be m/3 - 2/3. Let l = -1/4 - -37/180. Is l >= k?
True
Let l be (-60541)/247 + 0 + -1. Let i = l + 246. Which is greater: 0 or i?
0
Let z = -2.8 + 3. Let f = 145.2 + -137. Let y = f + 0.8. Which is smaller: y or z?
z
Let r(v) = v**2 + 9*v - 5. Let d(c) = c**2 - 10*c + 7. Let f be d(8). Let y be r(f). Let s = y - -8. Which is bigger: s or 1?
s
Let g be (-4 + 57/12)*-27. Let l = -19 - g. Is 0 at most as big as l?
True
Let j = -1956.55 - -1954. Which is smaller: -0.4 or j?
j
Let w = 6473/3 - 2157. Let c = 0.014 + 25.986. Which is bigger: w or c?
c
Suppose -136 - 34 = -5*y. Which is smaller: 40 or y?
y
Let c = 342 - 130. Suppose c = -3*k - 55. Are -90 and k equal?
False
Let f = 9 - 4. Suppose f*s + 5*q = 20, s - q + 0*q = 0. Let k(h) = -h**2 - 9*h - 12. Let o be k(-2). Is s > o?
False
Suppose 0 = -t - 4, -6*g = -g - 5*t - 75. Let x = 14 - g. Suppose u = -x*s - 26, 3*s - 4*u + 14 = u. Is -8 at most s?
True
Suppose 3*r - 39 = -6. Let o = r - 7. Suppose 2*y + 12 = -y - 3*a, -3*y + a = -o. Which is bigger: 1/26 or y?
1/26
Let x = 104 + -52. Let p = x + -52.1. Which is bigger: p or 3/8?
3/8
Let i be (1 - 7) + 118/8. Suppose -7*d = -2*d - 45. Which is smaller: i or d?
i
Suppose -8 = -2*w - 2*w. Let m = -78157/11 + 7107. Which is bigger: m or w?
w
Let j(n) = 5*n + 74. Suppose -12*u + 3*g = -8*u + 57, -4*g = -4*u - 56. Let m be j(u). Which is smaller: m or 4/67?
m
Let x = -95.4 + 93.4. Is -4.7 not equal to x?
True
Let p(c) = 249*c**3 + c**2 + c + 1. Let x be p(-1). Let d be (-28)/(-126) - x/18. Are 14 and d unequal?
False
Let i(m) = m**3 + 3*m**2 - 2*m - 3. Let r = -1 - 2. Let q be i(r). Let b(h) = -h**2 - 5*h + 4. Let z be b(-5). Is q less than or equal to z?
True
Let u be 51 + -9 + -1 + (-1)/(-1). Which is bigger: u or 48?
48
Let f be (8/6)/((-2)/(-3)). Suppose -f - 6 = -4*y. Let z be (-1 + 9/7)*7/4. Which is bigger: z or y?
y
Let w = 2/9037 + -15655/29903433. Which is smaller: w or -1?
-1
Suppose -1 = -6*y + 5*y. Let r be (-54)/1035*10/(-4). Is y less than or equal to r?
False
Let m = -1.025 - -1.025. Which is smaller: -457 or m?
-457
Suppose d = -18 + 43. Let s(i) be the first derivative of -2*i**2 - 14*i - 21. Let w be s(-10). Do d and w have the same value?
False
Suppose -9*j + 6 = -8*j. Let d be (0 - (-5)/10)/((-3)/j). Do d and -59 have the same value?
False
Let c(f) = -1 - 5 - f**2 + 3 + 2*f + 2*f**2. Suppose -1 = 4*q + 11. Let m be c(q). Which is greater: m or -1?
m
Suppose -44 = -5*d - 594. Let k be 4/6*(-30)/d. Which is greater: 1/2 or k?
1/2
Let o = 37 - 73. Let g = -42 - o. Let c = -53 - -211/4. Is c greater than g?
True
Let q(i) = 4*i - 35. Let p be q(8). Which is bigger: 0.64 or p?
0.64
Let t = 0 - -4. Let a(u) = -u - 11. Let y be a(-13). Which is smaller: t or y?
y
Let u be 8/2 + 5 + -7. Suppose -4*i = -5*i. Suppose i = -u*p + p. Does 1 = p?
False
Let v = -134 + 135. Which is bigger: v or 2/191?
v
Let a(b) = b + 6. Let w be a(-3). Suppose 0 = -4*x + 3*g + 73, -w*x + 44 = -x - 4*g. Let f(q) = -3*q**2 - 93*q - 74. Let z be f(-30). Is z != x?
False
Let m = -99 + 89.9. Let x = -14 - m. Let a = x - -5. Which is smaller: a or 1/29?
1/29
Let y = -84 + 85. Is 4/15 at most y?
True
Let x(y) = y**3 - 5*y**2 - 11*y + 9. Let a be x(7). Let r be 213/a + 14/35. Does r = 7?
False
Let j be (57 + -1)/((-30)/33). Let b = 61 + j. Which is smaller: b or 0?
b
Let h = -32 - -32.8. Let a = 0.95 - -0.05. Do a and h have the same value?
False
Let h = 165.74 - 167. Is h at least as big as -2?
True
Let j be 3/6 + 4/(-8). Let o be 434/(-775) + j/1. Does o = 0?
False
Let w = -7 - -9. Suppose 2*q = 7*q + 5. Let h be -2 + 4 + q + 4. Which is smaller: w or h?
w
Let o(c) be the first derivative of c**2/2 - 6*c - 3. Let k(g) = -g**2 + 7*g + 6. Let b be k(7). Let f be o(b). Which is smaller: -1/4 or f?
-1/4
Suppose -2*c - 1 = -7, u - 2*c = -40. Let s = 31 + u. Let z = -626/3 - -207. Which is smaller: s or z?
s
Suppose 0 = 4*d - 5*d + 639865. Let o = 140769701/220 - d. Let l = -27/10 - o. Which is smaller: l or -1?
-1
Let i be ((-135)/42)/(1 - (-905)/(-875)). Is 94 equal to i?
False
Let o(x) = -3 - x + 10 + 0 + 4. Let q be o(10). Is q less than or equal to -2?
False
Let j = 4.2 + -27.2. Let l = j + 52. Let k = l + -27. Is 2 >= k?
True
Suppose -7 = 5*b - 5*l + 3, -4*l = -3*b - 5. Let q = 30 - 32. Are b and q unequal?
True
Suppose z = 3*b - 135, 2*b = -2*z + 15 + 83. Let y = b - 37. Suppose -y = -3*n - 33. Is -9 != n?
True
Let v = 5 - -1. Suppose -v*m = -4 + 16. Let q be -5*((-7)/5 - m). Which is smaller: q or -8?
-8
Let q be (-4543)/(-595) - (13 - 6). Do 0 and q have different values?
True
Let c = 1876.978 - 1877. Which is bigger: c or 2/15?
2/15
Let t = 5.3 + -8.6. Let d = -3.7 - t. Let s = -0.9 + -0.1. Which is greater: s or d?
d
Let l(c) = 3*c + 7. Let v be l(3). Let x be (-2)/(-9) + v/9. Suppose g = -3, -g + 17 + 6 = -x*i. Which is smaller: i or -14?
-14
Let h = -0.1 - -16.1. Let u = 7 - h. Is u not equal to 0.1?
True
Suppose 48*x - 57*x = 1260. Is x at least -139?
False
Let d = 22.9 - 23. Let n = d + 6.1. Let i = n - 5. Which is smaller: -15 or i?
-15
Let d = 3 + 0. Suppose d*r - 3 = 9. Suppose 38*n - 41*n - 2*z = -22, n - 10 = -2*z. Which i