3. Is -2/9 equal to r?
False
Let z = 175 + -183. Suppose -4*a - 34 + 2 = 0. Are z and a equal?
True
Suppose 25 = u + 4*u. Suppose 5*m + 5*z + 0*z + 5 = 0, z + 21 = -u*m. Which is smaller: m or -0.1?
m
Let u = -1885/17 + 111. Which is smaller: 0.9 or u?
u
Let c = -1494 - -1493. Let z be 17/(-5) + 2/5. Which is bigger: z or c?
c
Let j(i) = i**3 - 15*i**2 + 10*i + 97. Let f be j(15). Is f < 246?
False
Let d = -320 - -247. Which is smaller: -72 or d?
d
Let l = -23 - -23.4. Let x(k) = -2*k**2 - 2*k - 1. Let u be x(0). Which is greater: u or l?
l
Let u be (3 - 0) + 21/(-9) + 0. Let h = -7/6 + u. Which is greater: 2.3 or h?
2.3
Let w = 686/9 + -7996/99. Is w at most -5?
False
Let j = 187853468/801325 - -1/114475. Let d = -234 + j. Which is greater: 4/3 or d?
4/3
Suppose 5*s + 4*x + 76 = 0, 5*x + 0 = -2*s - 27. Which is smaller: -8 or s?
s
Suppose -34*h + 11*h = 0. Which is greater: 87 or h?
87
Suppose 0 = i - 3*g + 12, 0 = 5*g - 20 - 5. Suppose -i*y = -0*y. Suppose 2*l + 26 = -5*v, -2*v - 20 = -4*l - y. Which is smaller: v or -4?
v
Let o = -24 - -24.32. Let k = o + -0.62. Which is smaller: -0.03 or k?
k
Suppose 3*a + 2*a = 4*c + 257, -a - 285 = 5*c. Let i = -284/5 - c. Let x = 37 - 257/7. Is i < x?
False
Let x be (97*-1 - 2)*1. Let c = 1289/13 + x. Let u = -671 + 675. Do u and c have the same value?
False
Suppose -20 = -o - 5. Suppose 0 = o*x - 12*x + 3. Let h = 89/1428 - 5/51. Is h smaller than x?
False
Suppose 2*j = 3*i - 2*i - 15, -5*i = 4*j - 61. Suppose 19 = -2*b - i. Let n = b + 16. Does -2 = n?
False
Let z(t) = 3*t + 2. Let v be z(0). Suppose -v*g - 4 - 3 = p, -2*g = -3*p + 19. Suppose p*r = 2*j - 6*j + 14, -4*j = 5*r - 10. Which is bigger: -8/15 or r?
-8/15
Let m(h) = 6*h - 137. Let u be m(23). Which is bigger: -6/61 or u?
u
Let o = -1913 - -1912. Let x = 22 + -61. Is x bigger than o?
False
Suppose -6*t + 4*t = -24. Let z = 110/9 - t. Which is greater: 0 or z?
z
Let v(m) = m**2 + 7*m - 29. Let t be v(-14). Which is bigger: t or 68?
t
Let c = -14 + 16. Suppose p = -c*p. Suppose -2 = v + n - p, -n + 5 = 0. Which is smaller: -6 or v?
v
Let f(g) = -g**2 + g - 6 + 2*g**2 - 6*g - 3*g. Let k be f(9). Suppose k = -u + 7. Is u at most as big as 4?
True
Let w be (-2)/32*1*2. Let r = 43 - 33. Suppose r*f = 9*f. Is w > f?
False
Let y(f) = 12*f - 133. Let l be y(15). Is l > 41?
True
Let s = 24 - 44. Let n be 1/(3 + s/8). Suppose -4*g = r + 30, n*g + r = -10 - 4. Is -7 > g?
True
Suppose 9 = 3*n, -2*s - 8*n + n + 355 = 0. Is s <= 0?
False
Let y be (226/(-6102))/(4/6). Is y greater than -1/3?
True
Suppose -3*q + 2*i = -4*q + 6, -q - 3*i + 9 = 0. Which is bigger: -6/103 or q?
q
Let p be (2 - -4)/(-1 + 3). Let i = 42 + -39. Is i at most as big as p?
True
Let s be (-12)/18*117/6. Let f = 33 + s. Is 20 greater than f?
False
Let z = 506 - 624. Is z at least -118?
True
Let a = 3 - 7. Let s(n) = -3*n - 8. Let u be s(a). Suppose 2 = 2*x - f, -4*f - u - 13 = x. Is 2/5 at most as big as x?
False
Suppose -w = 4*m + 1086, 540 = -2*m - 2*w - 0*w. Is m < -274?
False
Let d(f) = -f**3 - 4*f**2 - 3*f - 4. Let m be d(-3). Let t = -5 - m. Is t greater than -2/13?
False
Let h be (-285 + 2)/((-12)/60). Does h = 1415?
True
Let i = -31.1 + 33. Let t = i + -0.9. Which is smaller: 12 or t?
t
Let h = 37969/84 + -452. Which is bigger: 0 or h?
h
Suppose 8*m - 1017 + 1009 = 0. Let s(y) = -y**2 + 7*y. Let w be s(6). Let t be (2/(-27))/(1/w). Which is greater: m or t?
m
Let c be 1/((-2)/(17 + -3)). Let k = 8 + c. Let p be (25/(-72))/1 - (-18)/81. Which is smaller: k or p?
p
Let b = 76 - 75.879. Let w = -6.879 - b. Do w and -0.06 have the same value?
False
Let x = -183 - -1582. Is 1/4 less than or equal to x?
True
Let k(v) = 2 + 8*v - 3 - 1 + 3*v**2 - 2*v**2. Let x(m) = -m**2 - 7*m + 11. Let h be x(-9). Let j be k(h). Is -8 less than or equal to j?
False
Let d(a) = -141*a**2 - a - 2. Let u be d(2). Which is bigger: u or -567?
-567
Let h = 3 - 1. Let t(g) = g**2 + 19*g + 18. Let u be t(-18). Are h and u nonequal?
True
Suppose 5 = -f + 1, 5*f + 19 = -o. Let w be 0 + (0 - o) + 4. Suppose 0 = q - 5*h - 12, 0 = -4*q + 7*q - 6*h - 18. Which is bigger: w or q?
w
Let g = -4849/817048 - 8/2491. Is 0 equal to g?
False
Let x = 52.021 + -52. Let m be 3 + 8/12*-6. Which is bigger: x or m?
x
Let d be (3993/(-6))/(-201*1). Let k = d + 3/134. Is 3 less than or equal to k?
True
Let c be 150/175 + 0 + (-1)/(-7). Which is smaller: -40 or c?
-40
Let f be 74*-1*(-1 + 2). Let j = 69 + f. Which is bigger: -35/6 or j?
j
Let m = 3 - 4. Let o be 3*(-20)/(-105) - (-120)/(-14). Let a be 2/o + 5/(40/18). Which is bigger: a or m?
a
Suppose 3 = 2*l + 3. Is l at least as big as -9/95?
True
Let f be (3 + -2)*(2 - 2). Suppose 3*w + f*w = 15. Let o = 12 - 12. Do o and w have the same value?
False
Let r = 1170.0294 - 1170. Are r and 2/7 non-equal?
True
Suppose -3*f - 72 = -4*x, -5*x + 2*f + 135 = 38. Let h be x/(-111) - (0 + 4/(-20)). Which is bigger: h or -1?
h
Let g = 3 + 0. Let f be g + 3 + -2 + -1. Suppose -f*t - v + 2 = 1, -2*v = 5*t - 1. Is -1/14 at least as big as t?
False
Let b be ((-2)/2)/(2 - -9). Suppose -10 = 3*k + 2*v, 7 - 22 = -3*k + 3*v. Suppose 4 = 3*f + 5*g + 9, -5*f + 4*g + 4 = k. Which is greater: f or b?
f
Let k be ((-66)/(-15) + -4)*3*65. Let g = k + -78. Is g at least as big as 2?
False
Let v be ((-4)/(-24))/(-1 + 6711/5970). Let m = -26/19 + v. Is 0 bigger than m?
True
Let n = 14 + -31. Let v = n - -14. Suppose 4 = b + b. Which is greater: b or v?
b
Let k = 827/1348 - -46/337. Let f = -1 - -2. Are k and f equal?
False
Let v = -2.66 + 1.86. Which is bigger: v or -3/8?
-3/8
Let q(z) = -7*z - 3. Suppose 0 = -5*h + 2*x - 15, -6 + 0 = 2*h + 2*x. Let f be q(h). Let p be (-34)/48 + 6/f. Which is greater: p or -1?
p
Let c be (6 - 5)*(-26)/(-2). Let r = c + -9. Suppose 0*z - r*z + 4 = 0. Which is greater: -2/9 or z?
z
Let d be (2/(-6))/(15/99). Suppose -4*p + 5*k - 15 = 2, -3*p = -4*k + 14. Suppose 0 + 4 = -p*x. Which is greater: x or d?
x
Let u be (-372)/(-248) + 54/(-28). Let p = -1 - 0. Let x = 0 + p. Which is bigger: u or x?
u
Let s be 0 - (8/24)/(7/30). Is 1 at most s?
False
Suppose 94 = 4*z - 74. Let l be ((-4)/(-14))/((-6)/z). Is -4 less than or equal to l?
True
Let c be (-175)/28*(-2)/(-5). Let o(l) be the second derivative of -l**3/2 + 9*l**2/2 - 3*l. Let m be o(4). Are c and m unequal?
True
Let r be 3620/(-1086)*(0 + (-2)/(-10)). Which is greater: -1.37 or r?
r
Let w be 0 + 3/2 - 1. Let r be (-66)/(-14) + (-6)/(-21). Suppose -v = -r*v. Which is smaller: w or v?
v
Let g be (-26)/3 - 9/54*-4. Suppose -4*b + 1 = 5. Let h = -8 + b. Is g bigger than h?
True
Let r = -2.26 - -2.7. Let a = -0.114 + 0.514. Let p = a - r. Which is smaller: -0.1 or p?
-0.1
Let r(z) = -z**3 + 16*z**2 + 17*z + 15. Let w be r(17). Suppose 2 - 17 = w*t. Which is smaller: 2/105 or t?
t
Suppose -3*d + 60 + 31 = -k, 0 = 2*k + 2*d + 174. Are k and -88 equal?
True
Let m be ((-3)/(-6))/((-1)/(-204)). Let l be (-2)/(m/(-135)) + -3. Which is greater: 0 or l?
0
Let c = 92 - 314. Is c <= -222?
True
Let w = -10 - -7. Let m be 28/21 + 4 + -5. Is m at most as big as w?
False
Let u be (1 - (-24)/(-9)) + (-4)/12. Let z = -12 - -6. Let o be 6/20*(-8)/z. Which is smaller: o or u?
u
Let l = 0.02 - 0.52. Let q = l - -0.5. Is 11 not equal to q?
True
Let d = 242 + -245. Do d and -0.032 have the same value?
False
Let n(q) be the second derivative of 4*q**3/3 - q**2 + 9*q. Let r be n(1). Let s be (165/44)/(r/4). Is s smaller than 2?
False
Let n = 91 - 91.063. Which is bigger: -2/9 or n?
n
Suppose 5*j = 2*s - 22, j + 2*j = 4*s - 16. Let r be (-2 + -1 + s)*(-77)/(-154). Is -2/73 greater than r?
True
Let r(j) = 3*j - 2. Let y be r(0). Let o be (20/(-6) + 4)*1/y. Which is smaller: 28 or o?
o
Suppose 0*d - 3*d + 17 = -2*f, -5*f - 20 = -3*d. Let s be f/3 - 250/15. Let x = s + 18. Do 3 and x have different values?
True
Let f = -656 + 655.9. Which is bigger: -433 or f?
f
Let y = 18667462/255885 + -2/12185. Let u = y - 73. Which is smaller: u or 1?
u
Let o be (-3)/1 + (-35)/(-10). Let j = -2.3 + 5.9. Let k = j - 4. Is k <= o?
True
Let u(g) = g**3 - 7*g**2 + 5*g + 8. Let m be u(6). Let k be (-664)/72 - m/(-9). Suppose 0 = y - 2*y + 4*q - 25, 5*q - 29 = y. Do k and y have different values?
False
Let j = -13 + 14. Let y be j + (3 - 1) + (-10)/3. Is y less than o