-65*c + 63*c. Do -2 and c have different values?
True
Suppose 0*c - 3*c - 2*t = -10, 2*c + t = 7. Let d(l) = -3*l + 10. Let g be d(c). Is g less than or equal to -11/4?
False
Let w(b) = b**2 + 5*b - 16. Let s be w(-9). Let c be 42/(-63)*(-1)/s. Which is smaller: -1 or c?
-1
Let a be ((-8)/30)/(10/(-25)). Let z = 4 + -7. Let u = -3.3 - z. Which is bigger: a or u?
a
Let h = -5 - -2. Let n = 11 + 1.1. Let z = n + -13.1. Which is greater: z or h?
z
Let f be (51/(-189))/((-1)/(-156)). Let j = 220/7 + f. Let z = -10 - j. Is z at least 2/3?
True
Let p = 1028 - 471. Which is smaller: 556 or p?
556
Let f = -125.1 - -9.1. Let g = f - -126. Does g = -2?
False
Let u(w) = w + 6. Let p be u(-2). Let k be ((-30)/(-8) - p) + -1. Which is smaller: -1 or k?
k
Let z be 80/(-45)*1032/160. Do z and -10 have the same value?
False
Let q = -2630050/144333 + -2/16037. Let x = q - -4118/225. Are 7 and x nonequal?
True
Suppose 0 = -4*j + 5*j - 1. Let v be 0/((1 - 2) + (2 - 2)). Are j and v non-equal?
True
Suppose 42 = -4*r + 3*r + 4*g, 0 = -r - 2*g - 24. Let s be 100/r - 2/(-6). Is s > -4?
True
Let y be 21/(1155/(-638))*15. Which is bigger: -176 or y?
y
Let c = -33.62 - -0.62. Let y = c + 32. Which is bigger: y or 3?
3
Let s = 1135 - 612. Is s smaller than 524?
True
Suppose 2*o + 2 = -2. Let t be o/((1*-2)/1). Suppose 12*i - 4 + 4 = 0. Which is smaller: i or t?
i
Let w(a) = -a**2 - 7*a + 1249. Let j be w(-39). Let h = 71 + -43. Let y be 1/4 + (-5)/h. Which is smaller: y or j?
y
Suppose 2*t = z + 4 - 13, t = -5*z - 10. Let w be 7 + -10 + 4 + z. Suppose 2*p - 77 = 5*o, w*o - 55 = 4*o + 5*p. Is o at most as big as -15?
True
Suppose 8 = 2*x - 4*w + 2*w, -3*x + 2*w + 14 = 0. Suppose 45 = -3*y + 3*l, -l + x*l + 25 = -5*y. Is y greater than -12?
True
Let g be (-1)/(2/(-102)) - -3. Suppose h - 55 + g = 0. Is 43 at least h?
True
Let z = -10.8 - -14. Let p = z - 1.2. Let o = -2.1 + p. Which is smaller: -14 or o?
-14
Let x = 434 + -420. Is x < 1?
False
Let s be ((-3504)/360)/(2/18). Is s not equal to -88?
True
Let x be 4/(-2)*((-16)/(-4) + 1). Let n be ((-6)/32)/(x/8). Which is greater: 0 or n?
n
Let f be (-37)/2 + 5*1/10. Let c = f - -17. Let l = 15/323 + 1/17. Is l equal to c?
False
Suppose -7*r = -2*r + 175. Let d be 1 + r/3 - (-36)/54. Is d at most as big as -66/7?
True
Let u be -15 - -7 - 177/(-12). Which is smaller: u or 8?
u
Suppose -6*o + o - 5*i + 5 = 0, -4*i + 4 = -3*o. Suppose 0 = -4*d + 3*g - 51 - 18, -2*d = -g + 37. Let c be (-2)/(-7) + 69/d. Is o not equal to c?
True
Let j = -58/35 + 517/315. Let x = 29 + -28. Which is bigger: j or x?
x
Let r = -11 - -13. Suppose r*s - 7*s = -2*i + 17, s - 1 = -4*i. Let j be 134/(-44) - 0 - -3. Is i bigger than j?
True
Let o = -128 + 183. Suppose 0 = -3*z + 4*z - 56. Which is smaller: o or z?
o
Let m = 1861 + -1750. Which is greater: m or 110?
m
Let q = -7 - -11. Let b = 29 - 28. Let r be (-3 + b)/(((-2)/2)/(-1)). Which is smaller: q or r?
r
Let z = 0.2 - -0.5. Let m = 0.8 - z. Let k = -40 + 60. Is k <= m?
False
Suppose -3*w + 4 = -2. Let v be (-248)/20 - (-1 - w). Is 1 not equal to v?
True
Let a be 2 - 52/14 - -2. Let w(y) = 11*y**3 - 2*y**2 + 1. Let t be w(-1). Let m be (-6 + 3)*1/t. Which is bigger: m or a?
a
Suppose 0*s = 3*s. Suppose 4*y - y + 7 = -5*f, s = -f - 5*y - 19. Let m = -0.1024 + 0.1024. Which is smaller: m or f?
m
Let b be (-116)/(-8)*2/4. Suppose -200 = 298*c - 323*c. Is c != b?
True
Suppose -h - 38 = -4*m - 3*h, -3*m + 5*h + 9 = 0. Suppose -9*b + m*b = 5. Is b < -4?
True
Let q(g) = 2*g - 5. Let j be q(6). Let x = 743 - 746. Which is smaller: x or j?
x
Let t = 212.6 + -213. Which is bigger: t or 4/3?
4/3
Let s(v) = -v**2 - 12*v + 2. Let h be (1 - 0)*(9 - 14). Let x be s(h). Suppose 4*b = 9 - x. Is -7 not equal to b?
False
Let w be -6 + (-1 - -3) + -1 + 6. Let x = 204/31 + -21482/3255. Is w bigger than x?
True
Let l = -109.94 + 111. Let u = 1 - l. Is u smaller than 0?
True
Let h = 93 - 666/7. Let m be -1 + 2*(-2)/4. Which is smaller: h or m?
h
Let h(a) = 15*a + 25. Let p be h(-3). Suppose -5*v = -2 - 3, -3*v - 102 = 5*l. Which is bigger: l or p?
p
Let c(y) = y**2 - 2*y - 5. Let k be c(2). Let i be (1 - 0)/(-2 - k). Are -1 and i equal?
False
Let v = 25657/20706 - 1/986. Which is smaller: 0 or v?
0
Let j be 21/(-3) + (1 - -1). Let u be (-4)/66*3 - 10815/1925. Let x = j - u. Is x not equal to 2?
True
Let r = 888476/227 - 3914. Let d(h) = -18*h - 630. Let k be d(-35). Is r at most k?
True
Suppose -3*w = f - 41, w - 2*f - 35 = -2*w. Which is bigger: w or 10?
w
Let z = -6.11 - -0.11. Which is bigger: -32 or z?
z
Let w be (64/80)/(2/5). Let s be (-12)/(-16)*w*2. Suppose i = -s*i - 4. Which is greater: i or 1/4?
1/4
Suppose 8 = 4*j + 4*q, -4*j - 1 - 5 = -3*q. Suppose -5*m + 5*p + 115 = j, 11 - 84 = -3*m - p. Is m less than or equal to 26?
True
Suppose -2*n + 45 = -99. Suppose 65 = 5*k - 5*x, 0 = -4*k - x - 0*x + n. Suppose 5*d + k + 3 = 0. Which is smaller: d or -6?
-6
Let b = -13 + 16. Let u(p) = -p**2 + 3*p + 2. Let i be u(3). Which is smaller: b or i?
i
Let v be (-2 - -1)/((-12)/(-10)). Suppose 2*y + 4 = 5*y + 4*r, -2*r = -2. Which is smaller: v or y?
v
Let g = -17407/3 + 5854. Which is smaller: g or 52?
g
Let w be ((-208)/(-6))/(33/(-99)). Is -105 less than w?
True
Suppose 2*v - 4*t + 101 = 7*v, 0 = -4*v - 4*t + 80. Let u = v - 21. Suppose p + 13 - 5 = u. Which is greater: -25/3 or p?
p
Suppose -2*d = 2*d + 5*n + 64, d + 4*n + 16 = 0. Let v = d - -44. Is v < 30?
True
Let x = 0.1 + 0. Let b(j) = -j**3 + 7*j**2 - 2*j + 16. Let f be b(7). Suppose -f*g - 3*g = -5*h - 20, 4*g + 5*h + 29 = 0. Which is smaller: x or g?
g
Let h = 155 + -34. Let c be 77/h + (2 - 2). Is c smaller than 0?
False
Suppose -2*k = -10, 5*k - 16 - 17 = -2*a. Suppose -2*x - 2*x - 5*y + 16 = 0, 0 = -3*x - a*y + 13. Is -5/3 <= x?
True
Let a = -0.0389 - 35.9611. Is a less than -1?
True
Let n = 68 + -65. Let y be ((-105)/n - 1) + 2. Which is smaller: -35 or y?
-35
Let v = -24 + 16. Let s be 5/20 + -1 + 58/v. Do s and -8 have the same value?
True
Let h = -313/5520 - 2/345. Suppose 26*x - 19*x = 35. Suppose 0 = -4*a + 3*t, x*a + 2*t = 7*t. Is h >= a?
False
Suppose 55 = -129*a + 124*a. Let l = 7 - 7. Suppose 2*d + 3*u + 18 = l, -d + u - 9 = -u. Which is smaller: a or d?
a
Suppose -6*l + 8*l = 0, -2*l = 3*n. Is n at least -23/17?
True
Suppose 6 = -3*c + c + 5*n, -2*n = -c - 3. Let w(p) = -p**2 + p + 1. Let y be w(c). Which is smaller: y or -12?
-12
Let q = 147 - 148. Is q not equal to 75?
True
Suppose -4*g - 47 = 5*h, -g - 33 = 3*h + 3*g. Let n(b) = b**3 + 8*b**2 + 7*b + 3. Let q be n(h). Do 28/9 and q have different values?
True
Let h be 5136/504 + ((-4)/(-6) - 1). Let c = h + -10. Which is bigger: -3 or c?
c
Suppose -d - 4*d - 100 = 0. Let i(x) = -x**3 - 21*x**2 - 19*x + 21. Let b be i(d). Let c = -7 - -4. Which is bigger: b or c?
b
Let z = 824.1651 + -0.1651. Which is smaller: 2/3 or z?
2/3
Let b(w) = -w**2 - 20*w + 20. Let j be b(-21). Which is greater: j or -2?
j
Let o = 2.92 + -2.85. Which is greater: o or 6?
6
Let c(h) = -h. Let f be c(-5). Let t(l) = 0*l**2 - 5 + 7*l**2 - 8*l - f*l**2. Let s be t(6). Is s equal to 20?
False
Let b(l) = 2*l - 2. Let j be b(9). Let r(f) = -f + 40. Let k be r(j). Let w be 144/20*(-10)/(-3). Is k smaller than w?
False
Let d = 64 + -57. Suppose 76 = -d*s + 6. Which is greater: s or -9?
-9
Let x = -1.836 - 0.064. Which is greater: 0.4 or x?
0.4
Let g(f) = -f**3 + 4*f**2 - 2*f + 1. Let a be 1 - -7 - (-1 - -5). Let s be g(a). Is -5 bigger than s?
True
Suppose -u - 5*p = 17, -u = -3*p + 4*p + 1. Let w = u + -1. Is 0 at most as big as w?
True
Let g = -2027/25 - -404/5. Do 0 and g have different values?
True
Let a be (0 - 0)*-1 + 2. Let q be a/(-4) + (-178)/(-12). Let g = q + -206/15. Do g and 2 have the same value?
False
Let t be 10/20*(1 - -23). Let d be 2/(-11) - 6/(-33). Is t at least d?
True
Let k = 302.129 - 302. Is k less than or equal to -0.2?
False
Let z be (0/4 - 4) + (2 - -1). Let q = -0.64 - -0.56. Which is smaller: q or z?
z
Let t = 4.05 + -4. Let d = t + 12.95. Let l = 16 - d. Which is greater: l or -2?
l
Suppose 2*l + 4*w = 90, 6*l + w = 3*l + 155. Suppose a - d + 0*d = -12, 4*a + l = 3*d. Which is smaller: a or -15?
a
Suppose -1533*w + 1527*w - 54 = 0. Is w at most 28?
True
Let w(l) = -l + 7. Let p(u) = -u + 7. Le