+ z. Which is smaller: m or -1?
-1
Let t = 0.1 - 0.2. Let j be -70*(-4)/(-40)*4. Let u be (2/j)/((-3)/12). Which is greater: u or t?
u
Let u = 511 + -4597/9. Which is bigger: u or -0.12?
u
Let r be 1/2*(4 + -4). Let t = -33 - -18. Let l be 2 + -4 + (-25)/t. Which is smaller: r or l?
l
Let g(s) = -3*s**2 - 10. Let k be g(-3). Let l = -35 - k. Suppose -2*m - c = 2*c + 10, 19 = -m + l*c. Which is bigger: -13 or m?
m
Let b be (-1317 - -1)*40/(-140). Do b and 375 have the same value?
False
Let c = 14 + -11. Suppose 0*u + u = 4, -47 = -5*z - c*u. Suppose -4*q + z*q = 0. Which is bigger: q or 1?
1
Let m = 34.7 + -35. Let i = m + 23.3. Let p = 23 - i. Do -0.5 and p have different values?
True
Let z(k) = 6*k - 6. Let h be z(3). Let p be (-22)/h + (-4)/(-2) - -2. Which is smaller: 1 or p?
1
Let q be (-3 + 10 - 39) + 10/2. Is q greater than -17?
False
Let f = -16.1 + 3.1. Let n = -35 + 48.3. Let m = f + n. Is 0.3 < m?
False
Let a(o) = o**3 - 12*o**2 + 7*o + 31. Suppose -4*w + 7*i - 3*i + 52 = 0, 4*w + 5*i = 34. Let u be a(w). Which is bigger: -59/5 or u?
-59/5
Let f be 16/(-44) + (-460)/(-660). Which is smaller: 4 or f?
f
Suppose 0 = -5*a - 36 + 1. Which is bigger: -4 or a?
-4
Suppose q + 12 = -3*q. Let h be 5 - 6*4/8. Suppose -t - 1 = h. Do t and q have the same value?
True
Let g = -4457/1215 + 2/1215. Is g equal to -5?
False
Suppose 0 = 2*d + 13 - 17. Suppose -n + 5 = -d*p, -p + 4*p - 12 = 0. Is 10 at most n?
True
Let j be 1*(-2 + 1)*14. Suppose -117*z - 1967 + 329 = 0. Does j = z?
True
Let t be 6400/(-10) + 0/((-3)/(-3)). Which is bigger: -639 or t?
-639
Let f = 3.7 - 2.1. Let v = -100 + 98.32. Let t = v + f. Is -2 at least t?
False
Suppose 4 = 3*m - 4*m. Let b be (-226)/m*3/(-6). Let i = -29 - b. Is -2 less than or equal to i?
True
Let j be (-21 - -1)*2/(-4). Let o be 152/20 - 3*1/5. Suppose z = 5*x - 38, 7 = x + 3*z - o. Are x and j equal?
False
Let s = -33/643 - -116491/2294867. Are 0.1 and s nonequal?
True
Let r(p) = -p - 1. Let h be r(0). Let t = -460/9 - -154/3. Let j = t + -19/45. Is h < j?
True
Suppose 3*h - 11 = -5*z, 3*z + 2*h = -0*h + 7. Let l be -3 + (424/30)/4. Which is greater: l or z?
z
Suppose 332 = -8*t + 10*t - 4*u, 0 = -2*t - 3*u + 332. Is t equal to 167?
False
Let t be 123/5 - (-8)/20. Suppose 5*u + 3*a = -t, u - 4*a + a = -23. Which is bigger: -7 or u?
-7
Suppose -64*l - 44 = -20*l. Is l at least -1/196?
False
Suppose 4*h = -j - h + 54, 2*h - 162 = -4*j. Let d = 38 - j. Do d and 2 have the same value?
False
Let m(q) = -q**2 - 13*q - 11. Let u be m(-12). Suppose 4*s - 4 = d, 0*d + 81 = -4*d + 3*s. Let v be (-4)/18*(-9)/d. Which is smaller: u or v?
v
Let p(c) = c**3 + c + 1. Let d = -6 - -5. Let x be p(d). Let s be (1/(-2))/(x/2). Which is greater: s or -1/6?
s
Let p(t) = t. Let j be p(2). Suppose -j*h + 7*h - 10 = 0. Suppose -h*q + 5 + 3 = 0. Which is smaller: 5 or q?
q
Let u be (-3)/(-21) - (-4)/14. Let m(y) = 2*y**2 - 17*y + 8. Let d be m(8). Does u = d?
False
Suppose -2*w + 1 + 5 = 0. Let b be ((-10)/(-15)*w)/(-31). Which is greater: 1 or b?
1
Let o(u) = 5 - 1 + 5*u**2 + 4*u - u**2 - 3*u**2. Let q(y) = y**2 + y - 1. Let h(f) = o(f) - 2*q(f). Let v be h(4). Is v at most 1?
True
Let c be (-482)/(-14) + 3/(-7). Which is smaller: 25 or c?
25
Suppose -325 = -5*r - 5*c, -2*r + 4*c - 192 = -5*r. Let v be ((-2)/(-1))/(276/r + -4). Is v greater than 36?
False
Let g(f) = -f + 46. Let u be g(-14). Let t be (-1 - (0 - -1))*-13. Let v be 33/(-55) + t/u. Which is smaller: 1 or v?
v
Let d be (12/858)/(2/11). Is d less than 1/2?
True
Let s = -88 + 86.14. Let n = 0.56 + s. Is -2 at least n?
False
Suppose -2*c - 11 = -g, 5*g + 2*c - 5*c - 27 = 0. Let o = -47 + 45. Which is smaller: o or g?
o
Suppose 8*q + 208 = -16. Is q != -28?
False
Suppose 0 = -2*g + 4*y - 4, 4*y = 4*g - g + 6. Let q be g/1*4/12. Which is bigger: q or -1?
q
Let q(w) = 51*w**3 - 2*w**2 + w. Let d be q(1). Suppose -51*o + d*o = 0. Which is smaller: o or 2?
o
Let t be -19 + -553 + (-2 - 3*-2). Let m = t - -6253/11. Is 0 > m?
False
Suppose 0 = -7*p + 2*p + 3*l + 36, 5*p + 3*l = 54. Let x = p - 9. Is -0.9 greater than or equal to x?
False
Let h(r) = r**3 + 5*r**2 - 3*r - 13. Let o be h(-5). Suppose o*y = 10, -m - 3*y = m - 17. Is 1 at most as big as m?
True
Let l(g) = -2*g**2 + 13*g + 18. Let k(w) = 21*w - 5*w**2 + w**2 - w + w**2 + 27. Let s(p) = -5*k(p) + 8*l(p). Let u be s(5). Is 1/3 less than u?
True
Let j(n) = -n + 2. Let q = -30 + 22. Let r = q - -10. Let u be j(r). Is 1 bigger than u?
True
Let i = 2392 + -2477. Which is smaller: i or -84?
i
Let k = -277 - -273.89. Let y = -0.11 - k. Which is greater: 1/5 or y?
y
Suppose 5*p + 4*u + 164 = p, 2*p - 4*u = -64. Let l = -12.2 - -14.2. Is p <= l?
True
Let z be 2*(-3 - (-4 - 0)). Suppose z = 4*s - 2. Which is smaller: 16 or s?
s
Let g be ((-6)/(-5))/((-6)/(-20)). Suppose 4*h + 3*b = 39, h - g*h + 13 = -b. Let t be (h/36)/(2/12). Which is smaller: -1/4 or t?
-1/4
Let j be ((-16)/(-10))/(-6*(-2)/30). Let i be (-4)/6*(-3)/2. Let k be (i/j)/(3/8). Which is smaller: k or -2/11?
-2/11
Let y = 27 + -35. Let r(f) = 2*f - 14. Let t be r(6). Let d be (-2)/(-1)*t - 6. Which is greater: y or d?
y
Let k = 70 + -76. Does k = 1/32?
False
Let d = -19/8 + 175/72. Suppose 0 = 3*z + 3 - 18. Let j be (z/(-15)*2)/(4/6). Is j not equal to d?
True
Suppose -4*v + 28 = k, 4 + 5 = 3*k - 3*v. Suppose k*n + 0*n = 16. Which is greater: 10/7 or n?
n
Let f = -167 + 166.79. Is 3 equal to f?
False
Let r = 3 + 0. Suppose -5*y - b + r = 0, 5*b - 15 = 3*y - 0*b. Let f be 3 - (y - 9/(-3)). Do f and -1/8 have the same value?
False
Let k be (18/1)/((-3)/(-2)). Let t = -18 + k. Let n be 9/(-30)*5/t. Which is bigger: n or 0?
n
Let n = 62.3 + -57. Let g = -19.7 - n. Let v = 24 + g. Is v < -0.4?
True
Let m(k) = -k**3 + 11*k**2 + 3*k - 33. Let t be m(11). Is -8/33 at most t?
True
Suppose 0 = -5*u + 3*u + 12. Suppose n + 2 = u. Suppose -4*y = 4*k - 44, k + 5*y = 3 + n. Is k greater than 0.1?
True
Let n be 332/(-3) + (13 - 19). Is n at least as big as -116?
False
Let t be ((8/(-10))/((-1)/(-5)))/5. Suppose 5 = -3*y + 17. Is t > y?
False
Let o = 605 + -597. Suppose -5*q + 14 = -3*q. Suppose -3*d = -4*d + q. Which is smaller: o or d?
d
Suppose -o + 8*o = 0. Suppose -6*l - 58 - 2 = o. Let p be 21/(-2) + (-1)/2. Which is smaller: l or p?
p
Let a(x) = -44*x + 23. Let z be a(-2). Is 110 >= z?
False
Let y be 88312/1824 - 4/6. Is 48 != y?
True
Let q be ((-14)/4 + 2)*240/10. Let w be 2 + (-8)/q + (-8476)/3798. Is -1 greater than w?
False
Let k be 3/18*4/(-225). Is 1 greater than or equal to k?
True
Let v = 41 + -40. Does -4 = v?
False
Suppose 3*l = m - 1 - 5, l = -5*m - 2. Let i be 2/2*(-1 + (l - -3)). Is -41 less than or equal to i?
True
Let m be 1/2 + 33/(-6). Let n be (-4 - 276/(-64))*1/m. Let p be ((-1 + 2)*0)/(-2). Is n bigger than p?
False
Let f = -53.2935 - 0.0065. Let d = -54 - f. Let h(a) = 2*a - 6. Let b be h(4). Which is smaller: b or d?
d
Suppose 17*h - 12*h - 10 = 0. Let w = 8 - 13. Let z be 33/w - h/5. Is z >= -6?
False
Let z be (-2)/7 + 13/21. Let n = -159 + 166.3. Let m = -2.7 - n. Which is smaller: z or m?
m
Let x = 1203 + -1204. Which is smaller: x or -1/286?
x
Let o = -722 - -723. Which is greater: 58 or o?
58
Let w be 2/(-4) + 1288/10. Let a = w - 15427/120. Let x = -1/8 - a. Is x > 0?
True
Let y be 12/(-3)*134*4/(-24). Let x = -87 + y. Which is smaller: x or 0?
0
Let y be -3*((-9)/15 + (-8)/20). Do 3 and y have the same value?
True
Suppose 5*m - 3*m = 18. Let n = 9 + m. Let c be ((-18)/6)/(n/4). Is 2/3 < c?
False
Let k be (-9)/(-2) - 3/6. Suppose 25 = 3*p - 5*z, k*p = -3*z + 12 + 60. Let q be p/(-5)*(-2)/6. Is q at most -1/9?
False
Suppose -42 = -14*a + 140. Is a at most 19?
True
Suppose 103 = 9*y + 31. Is 6 at most y?
True
Let i = 286 + -286. Let u(b) = -b - 11. Let d be u(11). Which is bigger: d or i?
i
Let l = -555 - -560. Let a = -2.2 + 0.2. Which is smaller: l or a?
a
Let j = 18299 - 91799/5. Let c = -61 - j. Let u = -316/765 - -2/153. Is c less than or equal to u?
False
Let i be (-18)/27 + (-494)/(-3). Let s = -66 + i. Which is smaller: 99 or s?
s
Let c(s) = 3*s + 13. Let h be c(-5). Let t(f) = 4*f + 10. Let q be t(h). Which is smaller: q or 19?
q
Let s be ((-2)/(-3))/(12/18). Let q(p) = 14*p**3. Let x be q(s). Let o = -267/19 + x. Which is greater: o or