Are 1 and r equal?
False
Let v be -1 + (36/19 - 1). Let t = -437 + 437. Do v and t have different values?
True
Let v = -675 - -675.2. Is 27/7 not equal to v?
True
Let d be -3 + 85/15 + (-5)/(-15). Let h be (4/10)/((-8)/(-10)). Which is greater: d or h?
d
Suppose -5*d + 3*g - 3 = 2*g, -2*d = 4*g - 12. Suppose -u - 5 = -2*s, -2*u - 2*u = 12. Which is greater: d or s?
s
Let j be (0/(-27))/(-1*1). Let s be -3 + (-208)/(-68)*1. Is s < j?
False
Let r be (1 + -6)*(-12)/20. Suppose -2*c - r = c. Let k be 4 - (-1 + 3 - c). Which is smaller: k or 4?
k
Let p = -8/43 - 46/215. Are 213 and p unequal?
True
Let i(a) = a**2 + 28*a - 13. Let n be i(-25). Is -97 >= n?
False
Let v = -13 + 10. Let g = 1 - v. Suppose -g*c + 10 = -2. Is 16/5 not equal to c?
True
Let o be 12*1314/297 - 2/22. Which is greater: -9 or o?
o
Let b = 15.4224 + 0.1776. Is 2/7 >= b?
False
Let r be (-117)/(-14) + 48/(-608)*-19. Is 10 greater than or equal to r?
True
Let z = -200.26 - -8.26. Which is greater: -3 or z?
-3
Suppose -1427*q + 1422*q = 2905. Which is smaller: -582 or q?
-582
Let x = -928 + 538. Let o be (-1)/(16/x) - -1. Let k = o + -25. Is k at most 1?
True
Let u = 129.025 + -0.025. Let c = u + -129.063. Which is bigger: c or -0.1?
c
Let f(m) = m**3 - m**2 + 5. Let v be f(4). Let j = -51 + v. Let x = 0.3 + -7.3. Which is greater: x or j?
j
Let x = -0.063 + 0.613. Which is bigger: 5/3 or x?
5/3
Suppose c = 3*p + 11, 5*p - 1 = 4*c + 8*p. Suppose 5*h - 86 = c*r, 4*h + 0*r - 3*r = 66. Let o = 17 - h. Is o smaller than -1?
False
Let t(v) = 8*v**2 - 6. Let k be t(-3). Suppose -2*g - o = o + k, o + 4 = 0. Is g at least as big as -29?
True
Let l = 8.9 - 56.9. Let p = l - -47.7. Is p at least as big as -5?
True
Suppose -3*k + 58 = 430. Let r be k/(-208) - -2*3/39. Which is greater: 11 or r?
11
Let b = -410 - -31979/78. Which is smaller: -1 or b?
-1
Let c(n) = -18*n - 175. Let v be c(-12). Is 45 at most as big as v?
False
Let g(h) = h. Let d be g(6). Let b be 16 + -15 + 2/2. Suppose -2 - 8 = -b*a. Is a at least d?
False
Suppose f - 8 + 4 = 0. Let g be 3 + (-45)/(-10) + -5. Is f > g?
True
Let h be (-526)/(-120) + (-6)/24 + -4. Which is smaller: h or 1?
h
Let g(w) = -w + 5. Let a(h) = h**3 - 5*h**2 - 5*h - 1. Let j be a(6). Let y be g(j). Let o be 97 - 95 - (21/5 - 1). Which is smaller: y or o?
o
Let s = -68.92 + -3.58. Let x = s + 72. Let g be (-16)/(-9) + 0 - 2. Is x bigger than g?
False
Let p be 50/(-48) + (-6)/(-16). Let t = -7 + 9. Suppose z + 11 = 2*l, 0 = l + 3*l + t*z - 18. Is p <= l?
True
Let v be (4/10)/((-1)/(-60)). Let u be 25 + -5 + 6 + -2. Do u and v have the same value?
True
Suppose -3 = 3*d - 6. Let j be d/(2/(-9))*10. Let k be (-10)/j + (-3)/(-27). Is k smaller than -1?
False
Let i(z) = 3*z**3 + 57*z**2 + 19*z - 9. Let c be i(-19). Which is smaller: c or -371?
-371
Let a = 17 + -34. Let v = 49/3 + a. Which is bigger: v or -1?
v
Suppose 0 = 2904*p - 2898*p + 60. Suppose 3*m = -m + 8. Let d be (-18)/2*1 - m. Is p greater than d?
True
Suppose -16*b + 570 = -166. Suppose 92 = 3*q - q + n, -4*n = -3*q + 127. Which is smaller: b or q?
q
Suppose -f - 107 = 4*j, 5*f + 2 = 7. Suppose -3*k = 2*k + 5. Let z be (-4 - j)*k*-1. Is z at least as big as 23?
True
Let z = -16/21 - -65/168. Let r be 3*(-3)/(-9)*5*-7. Let v = 34 + r. Is z at most as big as v?
False
Suppose 4*o - 36 = -32. Let s = 15.32 + -0.32. Let y = -7 + s. Is o smaller than y?
True
Let h = 156.8 - 172. Let g = -15 - h. Which is smaller: 1 or g?
g
Suppose -3*c - 12 = -i + 2*c, 0 = i + 5*c - 2. Suppose i + 9 = -2*y. Let b = -8 - y. Which is smaller: -2/11 or b?
-2/11
Suppose h - 5*r - 11 = -1, 2*r = 4*h - 4. Let t be (h + 1)*(-18 + 17). Which is greater: -5/7 or t?
-5/7
Let n be ((-6)/(-4))/((-3)/(-18)). Let k be (-6)/n*(-8)/(-44). Which is greater: k or -1?
k
Let t be (-2 + 3)*1 - -3. Suppose 2*u + 2*p + p + 6 = 0, -2*p = 5*u + t. Let n be ((-211)/19)/1 + 4/38. Is u smaller than n?
False
Suppose 0*y - 27 = -y. Suppose o = y - 89. Are 1 and o equal?
False
Let d = 2 + -1. Suppose -d + 0 = -z. Let j = -5025 + 5027. Is j < z?
False
Let t(u) = -28*u + 143. Let l be t(-8). Which is smaller: 368 or l?
l
Let p(l) = 36*l + 165. Let g(b) = -12*b - 55. Let a(r) = 11*g(r) + 4*p(r). Let f be a(-10). Which is greater: f or -67?
f
Let a(h) = h**2 + 12 + 293*h - 297*h + 0*h**2. Let d be a(6). Are 23 and d equal?
False
Suppose 2*s + 4 = -2*s. Let i(r) = -65*r + 9. Let m be i(s). Is m greater than or equal to 75?
False
Suppose 5*q = 2*q - i - 70, -4*q = -i + 98. Let y = q - -39. Let g be (y/(-60))/((-4)/(-6)). Is 1/3 <= g?
False
Let i = 33.3 + -1.3. Let u = -31 + i. Are -2/49 and u equal?
False
Let b(r) = r**3 - 5*r**2 - r + 3. Let j be b(5). Let c be (-51)/(-12) + 18/24. Let s be (-3 + c + j)/1. Is s at least 0?
True
Let l be -3 - -2 - (1 - 461/(-7)). Which is smaller: l or -68?
-68
Suppose -36 = -6*v + 2*v. Let s be -4*(-4)/(-16)*(-10)/1. Is v >= s?
False
Let d be (-2)/(-7) + (-24)/672. Let o = 0.8 + -0.2. Is d >= o?
False
Let g = -67 - -76. Suppose g = -15*w + 24. Is w less than or equal to 3/5?
False
Suppose 9*t - 7*t + 5*v - 117 = 0, 4*v - 12 = 0. Which is bigger: t or 49?
t
Let q be 0*((-40)/(-48) + 4/(-3)). Let h(u) = u**3 + u - 2. Let l be h(0). Let r(m) = 4*m + 4. Let d be r(l). Do d and q have the same value?
False
Let j = -3452 - -3201. Are j and 0.01 unequal?
True
Let q = 67917260/857 + -79250. Let j = 6104/376223 - q. Is j not equal to -1?
True
Let x(v) = v**3 - 4*v**2 - v - 7. Let r be x(4). Let s be (3 - 2) + 2 - (-66)/r. Which is bigger: -11 or s?
s
Let u = -7438/2325 + 100/31. Is u less than or equal to 1?
True
Let l = -14/407 - -3/407. Suppose -2*v + 3*v = 2*o - 2, -2*v - 6 = -2*o. Is l != o?
True
Let q = -16939/12 + 12877/9. Let a = q - 77/4. Let j be 0 + (1 - (0 + 0)). Which is smaller: a or j?
a
Let k be (12/(-63))/(4/6). Let v = 19 - 10. Suppose v*j = 7*j. Which is smaller: j or k?
k
Let j(o) = 3*o + 198. Let z be j(13). Is 237 less than z?
False
Suppose -5*b - 3*z - 31 = 0, 5*b - 6*z + 3*z = -19. Let m(t) = -6*t + 5. Let k be m(b). Suppose 38*o = k*o. Which is smaller: -0.13 or o?
-0.13
Let h(k) be the second derivative of k**4/12 + 2*k**3/3 + 2*k**2 + 2*k. Let l = 7 - 10. Let q be h(l). Is q greater than -6/13?
True
Suppose 14*n + 71 = 57. Is -1/1226 less than or equal to n?
False
Let r = 761898542/4379821 + -5/190427. Let c = r + -174. Which is bigger: -1 or c?
c
Let y = 11709518/4616645 + -1/167878. Let d = -2/55 + y. Which is smaller: 0 or d?
0
Let h be (-6 - -6)/(1 - 0). Suppose o - 1 + 0 = h. Let w be (2/(-14))/(o/4). Which is greater: 0 or w?
0
Suppose 10*p - 24 = -2*p. Suppose -p*q = 6 - 8. Which is smaller: -0.083 or q?
-0.083
Suppose -m + 5*m + 16 = 0. Let f be 2 + m + 4/(-12) - -3. Let r be ((0 + -1)/3)/1. Which is greater: f or r?
f
Let w be 3/(-21) - 12/(-84). Is -3 bigger than w?
False
Let k(w) = 7*w + 30. Let x be k(-12). Let l be 2/12*x/(-42). Is l at most as big as -1?
False
Let t(k) = 17*k**2 + 3*k - 2. Let h be t(1). Suppose j + h = -0*j - 2*n, -5*n - 37 = 2*j. Let l = -15/2 - -43/6. Which is greater: j or l?
l
Let c = -1111529/10 - -111276. Let x = -123 + c. Is x at most as big as -1?
False
Let z = -406 - -345. Which is greater: z or -57?
-57
Let d = -0.2648 - -0.2648. Which is smaller: -24 or d?
-24
Let j = 34 + -31. Suppose 0 = -j*h + 5*h - 58. Is h not equal to 29?
False
Suppose 100 = -17*r + 15*r. Which is smaller: r or -49?
r
Suppose 0 = j - u + 3, -u + 3 = 2*j + 3*j. Let s = 228 + -2273/10. Which is smaller: j or s?
j
Let j be (-18)/(-60)*60/72. Which is smaller: j or -3/25?
-3/25
Let t = -32 + 49. Let q = 17.12 - t. Let n = -0.02 + q. Which is greater: -4 or n?
n
Let x be (2/(-3))/(2/(-6)). Let c be (x/(-4))/(2/(-12)). Suppose g - c = -2*g. Is g at least as big as 5/4?
False
Let l(t) be the second derivative of t**5/20 + 5*t**4/12 + 2*t**2 + 2*t. Let q be l(-5). Suppose 0 = q*o - 2*j + 12, 0 = -3*o + o - 4*j - 6. Is o > -3?
False
Suppose 9 = -7*l + 16. Let a be l*(-2 + 1) - (-4 - -7). Do a and -2 have the same value?
False
Let t be (6/(-3) - -4)*(-12)/(-24). Is t not equal to -2/15?
True
Let l = -677 - -859. Is 0 >= l?
False
Let p = -4705/968 + -7/484. Which is greater: -5 or p?
p
Let b = -20.75 + 30.4. Let a = b - 5.6. Let p = a + -4. Is 0.2 > p?
True
Let c be 64/11 - (-20)/110. Suppose 