d d equal?
False
Let y be (-1578)/36*(-26)/7. Let x = y - 163. Let k = -7 + 6. Which is greater: x or k?
x
Let k be (6/4)/((-48)/32). Let u = -83.9 + 79. Let h = u - -5. Which is greater: k or h?
h
Suppose -4*w - 94 = 5*o, -8*w - 5 = -3*w. Let q be o/63 - (0 - 1). Which is greater: q or -0.2?
q
Let w(c) = -c - 7. Let z(u) = -3*u + 28. Let o be z(12). Let y be w(o). Which is smaller: 12 or y?
y
Let r = -22.3 + 0.3. Let o = 21.7 + r. Is -6 greater than o?
False
Suppose 11*m = 30*m + 361. Which is smaller: -14 or m?
m
Suppose -8*m = -35 - 493. Which is smaller: 64 or m?
64
Let l(r) = -2 + 3 - 2 - r. Let i be l(0). Suppose 54 - 22 = -16*c. Which is smaller: c or i?
c
Suppose 3*s - 19 = -16. Is 1 > s?
False
Let a(m) = -m**2 - 7*m + 29. Let s be a(-10). Suppose 0 + 8 = -2*y. Let w be y/32*(-6)/(-4). Do w and s have the same value?
False
Suppose -7*r - 2*r = -756. Is r >= 84?
True
Let q be 3/(-8)*6/9. Let u = -19/140 - -17/70. Let z = u + q. Which is greater: -0.2 or z?
z
Suppose -102 + 486 = 12*g. Is 27 >= g?
False
Let x be (-12)/8*(-8)/(-3). Suppose 0 = -2*d + 29 + 33. Let i = d + -35. Is i less than or equal to x?
True
Suppose 0*x + x - 3 = -2*d, -1 = -x - 3*d. Suppose 3*v + 82 = x. Which is smaller: v or -23?
v
Let q = 164.9 + -163. Let k = -3.5 - -6. Let l = k - q. Do -1/3 and l have the same value?
False
Let j = -524/3575 - 2/275. Suppose -4*k = 5*b - 17 + 63, -4*b = -4*k - 28. Let d be ((-24)/126)/((6/k)/(-1)). Is j greater than d?
True
Let z be (-3146)/(-442) + -7 - (-44)/(-85). Is 67 equal to z?
False
Let u(t) = t**3 - 4*t**2 + 4*t. Let b be u(3). Let o be 1 - 1/3*(21 + b). Which is greater: o or 1?
1
Let m = -0.05041 - 66.00959. Let w = 66 + m. Is w <= 2?
True
Let m = -2.69 + 2.45. Suppose 25 = -5*u + 5*g, u - 3*g + 21 = 2*g. Which is smaller: m or u?
u
Let v(l) = l**2 - 8*l + 10. Let n(o) = o**2 + o + 1. Let c(s) = 2*s + 3. Let q be c(-3). Let z be n(q). Let j be v(z). Which is smaller: j or 11/4?
11/4
Let s(v) = -v + 3. Let t be s(8). Let b(o) = 3*o - 2. Let j be b(t). Which is greater: 1 or j?
1
Let r = -27 + 19. Let a = -8.058 - 0.142. Let v = r - a. Is v > -4?
True
Let s = 0.6047 - 0.874. Let n = s + -42.5607. Let a = n + 43. Is a less than or equal to 1?
True
Let i be (-12)/54 - 824/18. Let h = i - -34. Is -7 < h?
False
Let a(g) = g**2 + 4*g. Let j be a(-4). Let i = -37781/49 - -771. Which is smaller: i or j?
i
Suppose -s - 4*s - 30 = 0. Suppose -3*v = v, -3*j = -3*v - 12. Suppose j*y + 33 = 13. Which is greater: s or y?
y
Let q = 137 - 104. Let z(j) = 5*j + 4. Let v be z(6). Is q at least as big as v?
False
Let m be (2 - 5) + (-7)/(1281/(-561)). Do m and -1 have different values?
True
Suppose 2*i + 16 - 4 = 0. Let h be (64/(-24))/(4/i). Suppose 0 = -5*q - 3*y + 11, -26 = -h*q + 3*y - 1. Which is bigger: q or 5?
5
Let z(a) = 5*a**3 + 9*a**2 + 4*a - 3. Let r be z(-4). Is -193 less than r?
False
Let w be (10/10)/(-3) - -13. Which is smaller: w or 12?
12
Let v = -272 - -272. Let s(y) = y**3 - 8*y**2 - 10*y + 2. Let t be s(9). Let z be 2/t - 152/(-434). Which is smaller: v or z?
v
Suppose -2*x = -4*f + 1091316, -4*f - 5*x + 400912 + 690376 = 0. Let i = f - 2188345/8. Let q = i + 715. Is 0 at least q?
True
Let j = -2 + 4. Let t be -3 - -7 - (3 + -2). Suppose 3*c + t*v + 9 = 0, 0 = 3*c - 5*v + 1. Is c at most as big as j?
True
Let v = 38.039 + -38. Let d = v + 0.961. Which is bigger: d or -0.3?
d
Let i = 2.186 - -0.814. Which is bigger: i or 0.1?
i
Let u be (-5 + 3)/(2918/1). Let t = u - 2879/56901. Let g(m) = -m**3 + 23*m**2 - 21*m - 23. Let q be g(22). Does t = q?
False
Let k = -96 + 95.8. Are k and -116 equal?
False
Let s(d) = -d**2 + 9*d - 2. Let g be (-21)/(-28) + (-190)/8. Let i = -14 - g. Let w be s(i). Which is greater: w or -11?
w
Let c = 325 - 328. Do -38/9 and c have the same value?
False
Let r(o) = 2*o**2 + 13*o + 3. Let m be r(6). Is 154 > m?
True
Suppose 208 + 232 = -5*a. Let s = a - -64. Which is greater: -23 or s?
-23
Suppose 5*d = 14 + 21. Let p(s) = 3*s - 4. Let l be p(3). Suppose -l*h - 4*w + 20 = -h, -3*w - 20 = -2*h. Does d = h?
True
Let r(n) = n + 7. Let i be r(-3). Let g = -875/3 - -296. Which is greater: g or i?
g
Let o = -27.966 - 0.034. Let m = 11 + o. Let a = -17.2 - m. Do a and -1 have the same value?
False
Let h = -7 - -8. Suppose -w - 1 = h. Let z be ((-2)/(-8))/(w/(-8)). Do z and 1 have different values?
False
Let v = -38.839 + -0.161. Is 0.2 at most as big as v?
False
Suppose 2*c + 2*u - 5*u = -145, -3*u - 180 = 3*c. Let r be 1 - (35/c)/(1/(-2)). Is r >= -1?
True
Let d = -927/1435 + 30/41. Let u be 0/(5*(-4)/(-20)). Is u at most d?
True
Let p = 7 + -7.1. Let o = -30.38 - -30. Let f = o - -0.31. Is p less than f?
True
Suppose -38*m = -25*m - 1118. Which is smaller: m or 85?
85
Let u(m) = m + 4 + 8*m - 11*m. Let c be u(2). Do 15/14 and c have different values?
True
Suppose -3*f - 5*s + 47 = 0, 0*s + s - 49 = -5*f. Let t(c) = -c**3 + 2*c**2 + 14*c - 29. Let a be t(3). Which is smaller: f or a?
a
Let d be 110/25 + (-4)/10. Suppose 11 = -d*c + 3*o, 3*c - o + 7 = o. Suppose -4*y + 18 = -2*h, -4*h + y - 2 = -c. Which is bigger: -4 or h?
h
Let q be ((-2658)/2 - -2) + 2. Let y = q + 99377/75. Which is bigger: 0 or y?
y
Let k = 9/10 - 7/6. Which is greater: k or -1?
k
Let n = 0.582 - -70.418. Is -0.1 less than n?
True
Let s = -52 + 56. Let l be -1*1/2*0. Suppose 0*t - 3*t + 18 = l. Which is greater: t or s?
t
Suppose 3*p = -4*m + 16, 2*p = 3*m + 11 - 6. Which is smaller: 2/105 or m?
2/105
Let j = -136 + 156. Which is greater: 19 or j?
j
Suppose x - 3*x - 2*z + 4 = 0, 2*z = -2. Let r be (21/(-6))/(10/4). Let b = r - -8/5. Which is bigger: x or b?
x
Let s be -3 + 0 + 160/46. Which is smaller: 1 or s?
s
Let q be 3/3 + (-7)/1. Let d(t) = 2*t**2 - 31*t + 84. Let f be d(11). Which is smaller: q or f?
f
Let m be 18/(-14)*3174/(-621). Which is smaller: m or 7?
m
Suppose -7*l = -6*l - 2. Suppose -r - 3 = l*r. Which is smaller: -1/46 or r?
r
Let j be (-8)/(-3)*84/(-16). Let w be 1*(-36)/(-28) - (-4)/j. Which is bigger: -1/15 or w?
w
Let d = -0.405 + -0.595. Which is smaller: d or -1.71?
-1.71
Let j = 0.98 + 14.82. Let s = 16 - j. Is s <= 2/7?
True
Suppose -5*w + 6 = 46. Let t(o) = -o**3 - 9*o**2 - 9*o - 9. Let f be t(w). Is -6/7 less than f?
False
Suppose 4*x = -6*u + 3*u - 41, 5*x - 12 = 2*u. Let f = 88 - 99. Are f and u equal?
True
Let l(g) = g**3 + 17*g**2 + 17*g + 9. Suppose 64 = -7*u + 3*u. Let p be l(u). Suppose -v + 5*r - 8 = 0, -3*v - 4*r = r + 4. Which is bigger: v or p?
v
Let m be (-102)/(-207)*(-33 + 24). Do m and -5 have different values?
True
Let j be (18/(-4))/9*12. Let v be (2/3)/(j + 16/3). Is -2/421 at least as big as v?
True
Let s be 368/(-80) - (-6)/10. Suppose -2*w = r - 2, w + w + 4*r = 14. Is w < s?
False
Suppose 31667 - 5990 = 81*c. Which is bigger: c or 1/2?
c
Let m = -857 + 930. Which is greater: 3/5 or m?
m
Let i = -80 - 4. Let t = i + 83.66. Which is smaller: 1/4 or t?
t
Let m = -24.6 - -15.9. Let j = m + 8.6. Is -12 != j?
True
Suppose -2*v - v = -12. Suppose 3*o + 2*y = -22, 26 = -v*y + 6. Let q be -1*3*(4 - 3). Which is smaller: o or q?
o
Let p = 2772 + -2764. Let c = 2 + -1. Which is smaller: p or c?
c
Suppose -4*c + c - 84 = 4*u, -c - u - 27 = 0. Let i be c/6 - 14*1 - -3. Is -13 < i?
False
Let n = 0.09 + -2.09. Which is bigger: n or 20/7?
20/7
Let o(n) = -n**2 + 17*n + 5. Let s be o(17). Suppose 0 = s*w + 74 - 4. Do w and -17 have the same value?
False
Suppose n - 6 = -0*n. Let w be (n/(-4))/(3/(-4)). Let y be 608/(-95)*-1*2/4. Which is greater: w or y?
y
Let z = -39/4 + 49/4. Let i be (1 - (4 + -3))/1. Let o be 2/3*(i + 3). Which is smaller: o or z?
o
Suppose 5 - 1 = s. Let f be 284/14 - 4/14. Suppose 0*h - f = -5*h. Are s and h nonequal?
False
Let s = 22 - 25. Let o = -1 + -2. Let b = -5 - o. Are s and b equal?
False
Let q = -178 + 178. Is q > -0.2?
True
Let b = -11 + 2.55. Let j = 8 + b. Let n = j - -0.25. Is -1 <= n?
True
Let t = 9 + 8. Let x = 86 + -71. Which is smaller: x or t?
x
Suppose 30 = -9*v - 21*v. Is -2/179 less than v?
False
Let z be ((-52)/6)/(((-5)/(-3))/5). Let w be -1*(2 + -3) - z. Is 51/2 > w?
False
Let u = 3572/3 - 1202. Let p = 164 + -175. Which is smaller: p or u?
u
Let c = -10 - -12. Let z be c/9 - 36/891. Let n = 0.01 - -1.99. Is z at least n?
False
Let k(h) = h**3 + 2