
d
Suppose 0*m + 4 = 4*m. Let i be ((-2)/(-20))/(m/(-22)). Let c be (-3)/2 - 3/2. Does c = i?
False
Let a = 196 - 224. Is a != -27?
True
Let o be 0*5/(-25) - 33. Let c = o - -33. Which is smaller: 0.09 or c?
c
Let c = 67 + -66. Which is smaller: -1/106 or c?
-1/106
Let c = -3.72 + 4. Let o = c - -2.72. Is o <= -0.1?
False
Let t = 18 - 9. Suppose -2*i + t = -3*d + 3*i, -3*d + 4*i = 6. Suppose -7*v = -d*v + 5. Is -1 at most as big as v?
True
Let y = 140 + -102. Let d = -37 + y. Which is smaller: 6/17 or d?
6/17
Let g be (-15)/27 + (-1)/(-3). Let p = 8.5 + -6. Let a = 3.2 - p. Which is bigger: a or g?
a
Suppose -5*k + 3 = 3*r, 3*r = 2*r - 4. Let w = -5 - -13. Let v be (-12)/w - k/6. Which is smaller: -5/8 or v?
v
Let x(j) = -j**2 - 7*j - 3. Suppose -18 = 3*s + l, 4*s = -3*l - 13 - 11. Let u be x(s). Let y(h) = -h**2 - 5*h - 3. Let z be y(-3). Is u > z?
False
Let f be (-10)/(-15) + (-40)/42. Let w be (18/(-39))/((-3)/(-2998)). Let x = w + 461. Which is smaller: x or f?
f
Let k be 11/22 - 427/2. Let i = -847/4 - k. Is 1 less than i?
True
Suppose -817 = -5*b - 687. Which is smaller: b or -1.7?
-1.7
Suppose 87*w - 93*w = 240. Is w != -38?
True
Suppose 104 = -2*h - 4*m, -4*m + 5 = -5*m. Suppose 0 = 2*l + 5*j + 99, 10*j = 5*l + 7*j + 201. Is h at least l?
True
Let b = -0.05 + -1.95. Let h = -0.38 - -2.38. Let o = h + -3. Is o not equal to b?
True
Let w = 6 - 10. Let r be (0 + 5 - 7)*2/w. Is 2/21 at least r?
False
Suppose 9*n = -53 + 17. Is -29/8 not equal to n?
True
Let w be (1 - (12 + -3))*(-2)/4. Suppose 2*n - 5*a = w - 0, -3*n = 2*a + 13. Let h = -11 - -7. Which is smaller: h or n?
h
Let r be 3*(4 + (-10)/15). Suppose 0 = 5*d + 3*j - 30, 2*j + 0 = -d - 1. Is r less than d?
False
Let f be (-51176)/336 - (-1)/7. Let o = f - -151. Which is bigger: o or -2?
o
Let c(r) = -r**3 - 6*r**2 - 4*r + 5. Let m be c(-5). Let z = 5/141 - 364/14241. Which is smaller: m or z?
m
Let g(y) = 142*y + 1. Let a be g(6). Let x = -70800/83 + a. Is 1 less than or equal to x?
False
Let y = -0.081 - 0.019. Which is smaller: -0.052 or y?
y
Let l(g) = 2*g**3 - 14*g**2 + 11*g - 101. Let a be l(7). Is a equal to -143/6?
False
Let c = 39.8 + -34. Let d = 6 - c. Let v = 0.3 - d. Does -3/8 = v?
False
Suppose 0 = -49*y + 41*y - 336. Suppose 2*f = -8, -4*f + 2*f + 32 = -b. Which is smaller: y or b?
y
Let b = -0.032 - 1.968. Which is smaller: b or 8?
b
Let c = -289 - -289. Which is bigger: c or 9/43?
9/43
Let b(w) = 10*w - 1. Let y be b(-1). Let l be (-6)/4 + ((-323)/2)/17. Let q = l - y. Is -1/4 >= q?
False
Let f be (-1 - (-45)/10)*-2. Let j(n) = -n - 17. Let g be j(f). Let c be ((-1)/(1/(-11)))/(-1). Is c less than g?
True
Suppose -16 = 4*n + 20. Let m be (-2)/22*(n - -7). Is m greater than 0?
True
Let m(w) = w**2 - 4*w - 2. Let y be m(6). Let u be 6/y*(5 + 51/(-9)). Let r = 14/15 - 352/345. Is r less than u?
False
Let w(p) = p**3 + 7*p**2 + 6*p. Let o(l) = -l**3 - l - 6. Let u be o(0). Let b be w(u). Which is smaller: 3 or b?
b
Suppose -11614 = 31*z - 2345. Is z at most -299?
True
Let r be -1*1/(4/(-20)). Suppose 2*i + 4*f - 6 = i, -r*i = -4*f + 18. Is i <= 3?
True
Let w = -430 + 222. Is w less than -208?
False
Let v = -339.1 - -295. Let k = -44 - v. Let i = 0.1 - -0.2. Which is smaller: i or k?
k
Suppose 5*i - 2*z - 69 = -0*i, 4*z = -3*i + 31. Suppose -10*k + 42 = -i*k. Let v = k + 15. Are v and 1 equal?
True
Let n be (((-24)/16)/(-3))/((-2)/4). Let y be 12/21*1*-1. Which is greater: y or n?
y
Let h = -9 - -9. Suppose 5*b + 8 + 2 = h. Are b and -2 unequal?
False
Let k = 0.04 - 17.04. Let g = -16.1 - k. Which is smaller: g or 1?
g
Let a = 0.0336 + 0.1104. Which is bigger: a or -3?
a
Let k = 2.62 + -2.69. Are k and 67 unequal?
True
Suppose 15*s - 10*s + 77 = 4*r, -4*s = -4*r + 72. Which is smaller: r or 1?
1
Let g be 25/(-70)*(-20)/275. Is g >= 1?
False
Let q = -0.6 + -1.9. Let x = -2.3 - q. Which is smaller: x or 4?
x
Let m = -1.03 + -1.45. Let s = -11.52 - m. Let l = 9 + s. Is 0 equal to l?
False
Suppose 0*u - 6 = -5*q - u, -5*q + 2*u + 18 = 0. Suppose -2*b = 5*b + 14. Let i be b/(-3) - (-1)/(-6). Which is greater: i or q?
q
Let w = 73 - 186. Which is bigger: -112 or w?
-112
Let v = 5309/3016314 + -1/4662. Is v equal to 0?
False
Let k = 1076 + -1093. Is -177/11 bigger than k?
True
Let f be (2100/63)/((-10)/105 - 0). Which is greater: -349 or f?
-349
Let l = -3.07 - 13.93. Which is smaller: l or 4?
l
Let u = 11 - 6. Let g = u + -10. Suppose -2*w = 2*h + 2, -3*h = -0 + 6. Which is smaller: w or g?
g
Let r = -611 + 18943/31. Let f = r - 145/806. Which is smaller: 1 or f?
f
Suppose 2*m - 139 - 167 = 0. Which is smaller: m or 151?
151
Let n(z) = z**3 - 20*z**2 + 17*z + 27. Let c = 2 - -17. Let t be n(c). Which is smaller: t or -10?
t
Let b = 226 + 88. Let x be (-12)/8 - (-2 - b/(-644)). Is 1 equal to x?
False
Let d(r) = r**3 - 4*r**2 - 4*r - 5. Let w be 2/((-2)/(-4) - 0). Let q be d(w). Let o = q + 14. Which is bigger: o or 0.1?
0.1
Let u = 923/76 + -226/19. Are u and -517 non-equal?
True
Suppose 24 = -2*t - 4*i + 108, 5*t - 4*i = 154. Let u(y) = 36*y**2 - 1. Let n be u(-1). Is n less than t?
False
Let p = 76.7 + -76. Let t = 0.5 + -0.4. Which is bigger: t or p?
p
Let b = -209 + 1047/5. Is -0.84 less than b?
True
Let q = -172 + 170. Which is smaller: q or 86?
q
Let t be 1/4*((-120)/3)/10. Let f = 0.54 + -2.84. Which is bigger: t or f?
t
Suppose b = 36*b - 1785. Let s be 1/5 + (-1516)/30. Let y = b + s. Which is smaller: y or 0?
0
Suppose 2*n + 22 = -4*q, -5*n - 22 = -2*q - 3. Let g = n + 9. Suppose 4 = g*p - 0. Which is greater: -1/8 or p?
p
Suppose j + 37 = -r - 2*r, 4*r - 100 = 4*j. Let c be 1 - 32 - (-2 + -1). Is c bigger than j?
False
Let p be (-1)/(6/(-3))*-2. Let t be (-28)/(-5)*(4 + -24). Let k be (6/(-14))/(320/t). Which is smaller: k or p?
p
Let n be (-56)/42*(-1 - 17). Let p be ((-36)/n)/(6/(-16)). Suppose -r + p = -5*r. Which is smaller: -2/5 or r?
r
Let x = 173/38 + -1/19. Suppose -u - 4*u = -30. Is x smaller than u?
True
Let u(g) = g**3 - 4*g**2 - 4*g + 1. Let d be u(5). Let f be -2 - ((-177)/255 + d/(-10)). Is -2 bigger than f?
False
Let r be 5/((-65)/(-3612)) + 166/1079. Which is smaller: 279 or r?
r
Suppose 3 - 19 = 8*g. Let k be (-1)/g*(-38 - -6). Let c = 34 + -50. Is k >= c?
True
Suppose 32*v - 30*v - 278 = -4*z, -5*v = -15. Which is greater: z or 484/7?
484/7
Suppose -5*b - 28 = -5*j + 7, -4*b = -2*j + 6. Suppose -j = -3*t - 5. Is 11/4 < t?
False
Let p = -176.5 - -305.2. Let m = p - 129. Which is smaller: -25 or m?
-25
Let p = -7992 + 647342/81. Which is smaller: p or 1?
p
Let a = -0.03 + -0.37. Let f = 2 + a. Let n = 1.4 - f. Which is smaller: n or -2/11?
n
Let i = -103.043 - -103. Let s = i - 0.957. Is s bigger than 17?
False
Let h = 3.41 + 0.19. Let p = h + -22.6. Let y = -19 - p. Do -0.1 and y have different values?
True
Let h(p) = -p - 6. Let l be h(-4). Let k be l/(3/((-9)/6)). Let o = 12.4 - 12.5. Is k not equal to o?
True
Suppose 5*f - f - 8 = 0. Let q = -206 - -241. Is q smaller than f?
False
Suppose 20*n - 86 = 1174. Which is smaller: n or 60?
60
Let h = -67 + 69. Suppose 0 = -3*d + d - h. Which is greater: d or -1/4?
-1/4
Let b = -27 + 52. Let n = -66 + b. Let s be n/(-4) + 4/(-16). Which is bigger: s or 11?
11
Let f be (-1 - -3 - -4)/(-219 + 2). Let q = 8/31 - f. Let r be (1 - (-12)/(-15))*3. Which is smaller: r or q?
q
Suppose -23 + 6 = -5*x + 2*h, x = -3*h. Suppose -x*z + 23 = -13. Which is smaller: 11 or z?
11
Let h be 0 - -6*(-2)/(-3). Let o = 45 - 32. Suppose -h*q + o = -19. Are q and 8 unequal?
False
Let l be 113/15 + (-4 - (-133)/35). Which is smaller: 6 or l?
6
Suppose 0 = -5*h - 0*j + 2*j - 2711, 0 = 3*h + 5*j + 1639. Is -542 equal to h?
False
Let j = -653 + 463. Do -189 and j have different values?
True
Let y(m) = -2*m**3 + 3*m**3 + m**3 + 17*m - 17 + 37*m**2. Let l be y(-18). Which is bigger: -3/10 or l?
l
Let v = -240 - -239. Is v > 118?
False
Suppose 2*r = r - 5. Let f(y) = y**2 - 15*y + 41. Let i be f(12). Suppose 3*h - 4 = 4*x + 14, -4*h + 22 = -i*x. Which is bigger: r or x?
r
Let s = 1174/5 - 234. Let j = 31 + -30. Which is smaller: j or s?
s
Let t = -90 + 86. Let z = t - -3.9. Which is smaller: 4.4 or z?
z
Let s = -0.28 - -9.28. Let m = -7 + s. Which is greater: m or -1?
m
Let s be (-1 + 2 + -2)*(-4)/4. Which is greater: s or -2/133?
s