40 = 0, -155 = -3*h + 4*t. Is 60 equal to h?
False
Suppose 6*i - 130 = i. Let t = i - 24. Let x = 3 - t. Which is bigger: 4/3 or x?
4/3
Suppose 0 = -5*d + 44*d - 39. Do d and -5/123 have the same value?
False
Let q(o) = o**2 - 41*o - 567. Let i be q(52). Let w = 37 + -112/3. Is i bigger than w?
True
Let k = 4 - -1. Suppose 5*y - 2*i - 40 = 3*i, y - 2*i = 11. Is k less than or equal to y?
True
Let c(z) = -z**2 + 7*z - 3. Let k be c(6). Suppose 3 - 24 = -3*y - 2*b, -4*b + 12 = 0. Suppose k*u + y = 17. Does 6 = u?
False
Let s = -0.01 + 21.01. Let u = s + -34. Let p = -14 - u. Which is smaller: p or -3?
-3
Let s be 2/4*(-12)/(-2). Suppose 22 = -4*f - s*w - 6, -2*w + 7 = -f. Let t be (-476)/637 + (-2)/f. Which is greater: t or 1?
1
Let b(x) = 7*x + 1. Let o be b(1). Let z = o - 4. Suppose -z*g = -0*g. Which is smaller: g or -4/5?
-4/5
Let b = -11.2 + 10.65. Let w = b + 0.45. Which is greater: w or -1.4?
w
Suppose 0 = -12*i + 8*i + 520. Let x be ((5/2)/(-5))/(1/i). Do -66 and x have the same value?
False
Let s(x) = 44*x - 6. Let k be s(9). Which is bigger: k or -1?
k
Let v = 0.7 + 0.3. Let n = -1.5 + v. Let k = -252 + 251. Is n at least k?
True
Let g be 6/(-24) + (-31235)/84. Let d = g - -372. Let u = -13 + 13. Which is smaller: d or u?
d
Let z = -2 - -1.88. Let p = 50 + -50.066. Let k = 0.034 - p. Is k less than z?
False
Let a be -9 - -7 - (-1 - 10). Let h(g) = -6*g**2 - 4*g**3 - 3 - 4*g**3 + a*g**3 + 4*g. Let j be h(4). Are -19 and j equal?
True
Let k = 0.06 - -0.24. Let q = -0.2 + -0.01. Let s = q - -0.41. Is k < s?
False
Let i = -76 + 53. Suppose -2*a + 2*t + 61 = -t, -4*t - 56 = -2*a. Let w = a + i. Is w bigger than 16?
False
Let p be -1 + ((-18)/108)/((-588)/3555). Is 0 at least as big as p?
False
Suppose -545*h + 222 = -539*h. Which is smaller: 31 or h?
31
Let h = -187 - -184. Let r = -4 + 2. Is h less than r?
True
Suppose -2*h - 3 = -11. Suppose -2*z + u = 0, 2*z - 3*u - h = -0*u. Let c be (1 - 11/4) + 2. Do c and z have the same value?
False
Let o = 689 - 647. Which is smaller: 44 or o?
o
Let h = -269 + 326. Is 169/3 equal to h?
False
Let p be -1*(-7 - -2 - 1). Let h = -11 - -46. Suppose 0 = -2*b - 3*b + h. Which is greater: b or p?
b
Let t = 0.021 - -4.879. Let b = t - 5. Let x = 38 - 46. Which is greater: x or b?
b
Let i = 184/17 - 11. Suppose 4*o - 18 = 7*o. Let x be (-6)/12 - 3/o. Which is bigger: x or i?
x
Let d = -344 - -341. Let n = -3 - -4. Which is greater: d or n?
n
Let t be (-1827)/4620 + (-18)/(-33). Suppose 4*c - 1 = 5*c. Is t bigger than c?
True
Suppose m + 42 = -2*n + 4*m, -2*m + 58 = -3*n. Let f = -16 - n. Suppose h = f*a - 1, h + 4*a = 2*a + 3. Which is smaller: h or 2/35?
2/35
Let a be (-1)/(-3)*((-1008)/548)/12. Which is smaller: 0 or a?
a
Let t(m) = -m**3 - 9*m**2 - 6*m + 15. Let d be t(-8). Which is smaller: d or -2/473?
d
Let g = 0.081 + -43.081. Let y = 42.94 + g. Which is smaller: 4 or y?
y
Let r = -0.1236 - 0.0764. Which is bigger: 3.3 or r?
3.3
Suppose -20*b + 432 = -28*b. Which is smaller: b or -57?
-57
Let l = 2071 - 2069. Is l < -24/7?
False
Suppose -4*f + f = -3. Suppose -4*n = -f - 71. Let h be n - -1*6/3. Is h greater than or equal to 20?
True
Let r = -2 + 2.2. Suppose 5*t - 867 = 228. Let z = 1097/5 - t. Which is smaller: r or z?
r
Suppose x = -15 + 74. Which is smaller: x or 57?
57
Let t be (-28)/21 + 2 - 566/21. Which is greater: -26 or t?
-26
Let w be (-9 + 15)/(2*1). Let a be (w/(-4))/(12/(-28)). Let r(c) = 2*c**3 - 2*c**2 + c. Let i be r(1). Which is smaller: i or a?
i
Let m be 3/6*(-4)/(-5). Suppose -11*s - 8 = -9*s. Let d be s/(-4 + 8)*0. Is d equal to m?
False
Let a(c) = -3*c - 20. Let f be a(-10). Suppose -3*n + f = 5*l, 4 = n + l + 2. Which is bigger: -2/79 or n?
n
Suppose 5*l + 5*u - 65 = -0*u, 0 = -u + 1. Let c(a) = a**2 - 5*a + 2. Let v be c(7). Let d = l - v. Which is smaller: d or -3?
d
Let f(g) = g**2 - 4*g - 8. Let x be f(6). Suppose -x = c + c. Let k be 18/(-9)*(-1)/c. Which is greater: k or -2?
k
Let j = 14 - 48. Let a = j + 33.9. Are -1.5 and a equal?
False
Suppose 65*n = 27*n - 49*n. Let i = 18 + -13. Suppose a + i*c = -17, 0 = -4*a + 5*c + 7 - 0. Is n less than a?
False
Suppose -23*n = -21*n + 2*d, 4*d - 7 = 3*n. Do n and -14/31 have the same value?
False
Let p be 40/(-105)*((-897)/444 - -2). Is p at least -1?
True
Let c(o) = -o**3 - 7*o**2 + 2*o + 13. Let d be c(-7). Do d and -5/39 have different values?
True
Let u = 1 - -3. Let a(d) = d**3 - 11*d**2 - 12*d - 2. Let g be a(12). Let n be (-3)/(g/(u/(-3))). Is n < -4/5?
True
Suppose -4*l = 2*l - 276. Let d = 44 - l. Do 12 and d have different values?
True
Let l be (2 + (-28)/12)*159. Suppose -16*k + 3*m = -13*k + 168, 0 = 2*m - 4. Which is smaller: l or k?
k
Let m be ((-16)/(-5))/2 + -2. Let s = 0.3 - 0.7. Let p = 0.6 - s. Which is bigger: m or p?
p
Suppose -8*f - 2850 = 7*f. Which is greater: -0.1 or f?
-0.1
Let m(d) = 8*d**2 - 4*d + d**3 + 0*d + 3*d + 1 + 8*d. Let p be m(-7). Is -8 smaller than p?
True
Let t = -0.03 + -3.97. Suppose 0 = 4*j + 10 - 2. Let f be j/(-6) + (-44)/60. Is t at least as big as f?
False
Let g = -8 - -2. Let y be (-2)/12*g/4. Let l = -512 - -515. Which is greater: l or y?
l
Let l = -371 - -341. Are -24 and l unequal?
True
Suppose 4*m - 32 = -4*k, 5*k = 2*m + m + 32. Let c be (-2 - -1) + k + 0. Suppose 2*y + 3 = 17. Which is greater: y or c?
y
Let n = 0.272 - -0.028. Is n at least as big as -0.7?
True
Let x = -16 + 15. Let s be ((-774)/(-165))/(x/(-10)). Let d = 47 - s. Is d != 1?
True
Let p be (-44)/176 - (0 - (-22)/(-24)). Is p != -3/71?
True
Let w = 1864 - 9318/5. Is 1633 less than w?
False
Let m = -6717 + 6673.07. Let w = -44 - m. Suppose 3*b = 2*j + 15, 2*b = -3*j - 2*b + 20. Is w bigger than j?
False
Let v = -2 + 5. Let k = 3.0287 + -0.0187. Let m = k - v. Is m equal to 0?
False
Let b = -1428 - -1428.2. Let h(a) = 0 - 2*a - a**3 - 3*a**2 + 5*a + 2. Let w be h(-4). Is b smaller than w?
True
Let a be (19 + 4 - 2)*1. Let n be 225/a + (-8)/(-28). Suppose -5*i - 3 - n = 2*f, 2*i = -2*f - 8. Which is bigger: i or -3?
i
Let i(f) = f**3 - f**2 + 4*f - 1. Let p be i(2). Suppose -52 = 3*m + p. Is -21 smaller than m?
False
Suppose -2*s - 170 = 2*k + 480, -2*k + s = 647. Is k < -324?
False
Let i = 0.1765 - 0.0765. Let l = 9 - 18. Which is smaller: i or l?
l
Let t = 1113.1 - 1113. Let w(z) = z**2 - 3*z - 1. Let h be w(-4). Do t and h have different values?
True
Let j(d) = -2*d + 22. Let f(t) = t**3 - 14*t**2 + 2*t - 17. Let r be f(14). Let v be j(r). Which is smaller: v or -0.17?
-0.17
Let z be (-3)/(-12) + (-2)/8. Let h = -66 + 31. Let t be h/14*(-2)/(-40). Do z and t have the same value?
False
Suppose -l - 532 = -5*l. Which is smaller: l or 138?
l
Suppose 0 = 3*w + 5*w - 48. Let s be ((-2)/6)/((-2)/w). Let q be 48/23 + (-1 - 1). Which is smaller: s or q?
q
Let x = -12 - -11.1. Suppose -5*m - 4*q = -36, 0 = -5*m - 5*q - 0*q + 35. Suppose 3*s = -s + m. Which is greater: s or x?
s
Suppose -3*w + 3*m = -12, -2*w = -3*w - 4*m - 1. Let l be 6 + -6 + (-3)/(-2). Which is greater: w or l?
w
Let u = -311.1205 - -0.1205. Which is smaller: u or 1/2?
u
Let h = -1079/20 - -276/5. Is h at least as big as 15?
False
Let o be 0 + ((-3)/(-84))/(3/6). Which is smaller: o or -1?
-1
Let a = 29 + -29. Suppose -6*k = -a*k + 18. Is -7/2 greater than or equal to k?
False
Let a = -195/14 - -59/7. Let y = -5 - a. Let i(n) = n**2 - 3*n - 1. Let m be i(2). Which is smaller: y or m?
m
Let y be (-3)/(-2)*(-4)/(-6). Let s = -0.39909 - 62.60091. Do s and y have the same value?
False
Let q(i) = -i**2 - 4*i. Let b be q(-3). Let g(k) = -k**3 - 2*k**2 - 12*k - 19. Let h be g(-2). Does h = b?
False
Let q = 500768/10197 - 442/9. Let j = q - 3347/29458. Let c = j + 1/26. Which is greater: c or 1?
1
Suppose 5*j - 5*f + 9 = 4, -1 = j + 2*f. Let m be (4/(-2) - -3)*1. Which is bigger: j or m?
m
Let m(h) = h**2 + 2*h - 1. Let y be m(-3). Suppose -f = y*f - 27. Which is bigger: -1 or f?
f
Let a = -46.62 + 45.62. Let h = 23 - 23.36. Which is bigger: h or a?
h
Let i = 15 - 11. Suppose -i = -2*b - 6. Which is greater: -6 or b?
b
Let p be (6/(-7))/(4/(-14)). Suppose 2*k - 1 = 1, -p*u + 1 = 4*k. Is 1/8 equal to u?
False
Let v = 191 + -198.44. Let m = v + 7.6. Is -2/3 bigger than m?
False
Let o be (-3)/(-12)*356/7. Let x = o + -13. Let h = -27 - -11. Is x >= h?
True