maller: z or 0.2?
z
Let f = -0.96 + 1.01. Is f at most 2/3?
True
Let t = 95 - 81. Let r = 14 - t. Is 64 > r?
True
Suppose 14*w + 12*w = 27*w. Which is greater: w or 20/51?
20/51
Let u = -51.029 + 0.029. Let i = u - -52. Which is smaller: 10 or i?
i
Let f = 2 - 2.3. Let h(t) = -10*t**2 + 7*t - 6. Let p be h(-5). Let o = p + 5531/19. Which is greater: f or o?
o
Let b = 10 - 5. Suppose 0 = z - k - 5, -k - b = -6*k. Let r be (-28)/z - 6/(-9). Which is bigger: r or -3?
-3
Let h = -15 - -20. Let y = h + -3. Suppose 2*z + y*g = 4*g + 10, 0 = -3*g - 12. Is z less than or equal to -1/9?
False
Suppose 0*h + 2*h = -8. Let t be h/8 + (-1)/(-22)*5. Is 0 greater than t?
True
Let o(n) = n**3 + n**2 - 2. Let j be o(-4). Let i be (-5)/j*5 - 1/2. Are i and 1/143 unequal?
True
Let r be (-150)/165 - 2/(-2). Let k = -1 - -8. Suppose 2 = -2*q + 4*l, k = -2*q + 6*q + 3*l. Is q at most r?
False
Let g = 6.34 - 6.24. Which is smaller: g or 169?
g
Let m = -4535/14781 + -1/1137. Let w = 15 + -8. Suppose z + 5*r + 16 = 0, 5*r = -w - 8. Which is bigger: m or z?
m
Let f = -14.12 + 14.15. Is f not equal to 24/13?
True
Let a be 2/(-2 - -1) + 54/35. Is a equal to 0?
False
Let z be 4/10 - (-84522)/(-179955). Let g = 2/387 + z. Suppose -t + 5 = -6*t. Is g at most as big as t?
False
Let p = -1414.6 - -1413. Which is smaller: -2.8 or p?
-2.8
Let b = -31 + 1797/58. Suppose -5*m - 13 = -2*j, 3*j - 7 = -m + j. Do b and m have different values?
True
Let w = -9 - 6. Let n be (w/65)/(18/(-8) - -3). Which is bigger: 1 or n?
1
Let v = 2/111 + -1354/1221. Suppose -4*x + n + 5 = -0*x, -3*x - 5*n + 21 = 0. Suppose x*j + 4*h = -3*j - 13, 5*h = 2*j - 8. Which is smaller: v or j?
v
Let u = 1058 + -1029. Is 42 < u?
False
Suppose 32*c = 120*c + 352. Let i(w) = w - 2. Let t be i(4). Is c >= t?
False
Let k(d) = -33*d + 1225. Let o be k(37). Suppose -m - m = -10. Is m less than or equal to o?
False
Let y = 1.8 - 1.9. Which is smaller: y or -31?
-31
Suppose 0 = 2*i + 2*t - 12, 6*i - 5*t = 2*i - 21. Do -1/37 and i have the same value?
False
Let w be (-2)/(3 - 1281/429) + 3. Are w and -140 equal?
True
Suppose -5*t + 7*s - 2*s + 770 = 0, -308 = -2*t - 4*s. Is t >= 155?
False
Let c = -3/13 + -9/130. Let o = 79/245 - 6/49. Do o and c have the same value?
False
Let p be 538/32 - (-17 + 27). Which is smaller: p or 7?
p
Suppose -2*v - 25 = -7*v. Let h = v + -9. Let c be (-2)/h*100/10. Is 5 bigger than c?
False
Let v(x) = -x**3 - 23*x**2 - 43*x - 18. Let m be v(-21). Suppose 3*a - 6 = 12. Which is greater: m or a?
a
Suppose 5*i - 8 = -3. Let z be (126/110)/3 + (-12)/(-15). Are i and z equal?
False
Let f be (20/8)/((-1)/(-78)). Let i = -397/2 + f. Do i and -3 have the same value?
False
Suppose 2*b - 6 = 4*d, 21 = -4*d + 2*b + 3*b. Does 2/81 = d?
False
Suppose 0 = 140*u - 139*u. Which is smaller: 2/2921 or u?
u
Let r = 350 - 1399/4. Suppose -m = 2*b - 1 - 4, b = -1. Is r bigger than m?
False
Let u be (-1 + -24)*(0 - -8). Let n be (-180)/u*152/(-6). Is n smaller than -23?
False
Suppose 5*j + 1 = -4. Let d = -42 + 87. Let q = -45 + d. Is j > q?
False
Let u be (65/(-30) + 1)/(1/(-2)). Suppose 0 = -h - 0*h + 3. Is u less than h?
True
Let m = -73.239 + -0.761. Which is smaller: -1/2 or m?
m
Let j = -52 - -84. Suppose -218 = -5*o - 63. Does j = o?
False
Let x be (5 - -1) + 160/(-260). Which is smaller: x or 5?
5
Let n be (-1 + 10/6)/((-18)/(-81)). Which is bigger: n or 51/25?
n
Let w be -1 + (-105)/(-6) + (-3)/6. Is -14 greater than or equal to w?
False
Suppose -3*w - 1 = 2*f, -w + 5 = -f + 3*f. Suppose f*j - 4 = -2*m, 2*j - 33 = 3*m - 7. Let r(k) = -k - 11. Let z be r(m). Is z smaller than -5?
False
Let l = 51 - 331. Are l and -281 equal?
False
Let c = 41 - 17. Let x = c + -24. Which is smaller: -2/21 or x?
-2/21
Let m = 1.97 - -0.03. Let b = 33.64 - 34. Let t = b - 1.64. Is t less than m?
True
Let z(q) = -8*q - 190. Let l be z(-21). Is l > -14?
False
Let b = 14.9 + -15. Let x = b + 0. Which is smaller: 1/9 or x?
x
Let b be 136/195 + ((-85)/15 - -5). Which is smaller: b or -1?
-1
Let d = -42 - -41.971. Let p = -2.129 - d. Is -0.1 >= p?
True
Let i be ((-3)/1170)/((-14)/12). Which is smaller: -1 or i?
-1
Let p = -0.02 - -0.18. Let j = 2.84 + p. Let h = 803/9 + -89. Which is bigger: h or j?
j
Suppose 3*a - a = 3*u + 213, 5*a - 526 = u. Are a and 2 unequal?
True
Let r be (-6)/21 + 2/7. Suppose -x - 2*f - 9 = 0, -3*f - 18 = 3*x - r*f. Let q be 14*((-50)/(-20) + (-2 - 1)). Is q greater than or equal to x?
False
Let w = -0.5 - 4.5. Let u = w - -2. Which is bigger: u or 1/2?
1/2
Let s(n) = -n**3 - 23*n**2 - 14*n. Let g be s(-22). Which is greater: -175 or g?
-175
Let i = -496.5 - -473. Is i < -2/7?
True
Let w(f) = f**3 + 8*f**2 + 13. Let x be w(-8). Let p be 2/28 - 0/x. Is p bigger than 1?
False
Let r = -671/2 - -340. Which is smaller: r or -7?
-7
Let n(c) = c**3 - 8*c**2 + 6*c + 8. Let t be n(7). Let z be ((-52)/(-18))/((-12)/153). Let y = z - -37. Which is greater: t or y?
t
Let x = -0.0802 + -0.1198. Is 323 < x?
False
Suppose o - 3*v + 0*v + 26 = 0, 4*o + 54 = 2*v. Let n(u) = -u**3 - 12*u**2 - 8*u + 20. Let b be n(o). Which is smaller: b or -105/8?
-105/8
Let a = 1.0489 + -0.0489. Which is greater: a or 5?
5
Let p(j) = -6*j - 2. Let g be p(-3). Let x(r) = -r**3 + 16*r**2 - r - 12. Let d be x(g). Let z be (-63)/6*16/d. Which is smaller: z or 7?
z
Suppose -4*f + 3*f = 4. Let n = 23 + f. Is n < 19?
False
Suppose 16*x + 20 + 12 = 0. Which is bigger: x or -1/54?
-1/54
Let t = 6289/6 - 1040. Let q = 15/2 - t. Which is greater: -72 or q?
q
Suppose -6*i = -2*i. Suppose -y - 2 = -2*p - i*p, y = 0. Do -4/9 and p have different values?
True
Let m = 37 + -42. Is 22 bigger than m?
True
Suppose 3*k + 258 = 90. Which is smaller: -51 or k?
k
Let g = 0.25 + 0.11. Let o = g - 0.38. Is o greater than -2?
True
Let q be (-4 + 5)/((-1 + -1)/6). Let m be ((-15)/(-2))/(q/(-10)). Is 25 equal to m?
True
Let r = 8.19 + -0.19. Let c = -1.69 - 0.31. Is c at most r?
True
Let k be -201*(-62)/8 + (18 - 22). Let j = k - 1564. Is j > -9?
False
Let m = -5 + 17. Suppose 1 = -5*q - 2*w, -q + 4*q = 3*w + m. Which is smaller: q or 0?
0
Let x = -402 - -401. Is x smaller than -1/37?
True
Let z be -5*3*32/(-48). Let j be 4*(4 + -5)*(-2)/z. Is j > -0.3?
True
Suppose -3 = -j + 3*o, -18*j + 4*o = -15*j - 24. Are 13 and j non-equal?
True
Suppose -16 = -5*n + n. Suppose n*k - 87 = 5*p, -16 = 3*p + 5*k + 14. Let u = 14 + p. Do u and -2 have different values?
True
Let r be (-38)/(-11) + 19/(-19) - 3. Which is smaller: r or -0.04?
r
Let h = 353 + -353.012. Which is smaller: 2/3 or h?
h
Let m = 0.1067 - -0.3433. Which is smaller: m or -0.09?
-0.09
Let o be (-4 - -3 - -7) + -2. Let b = -1 - 2. Is b != o?
True
Suppose -2*r + 142 = -0*y + 2*y, 5*r - 5*y - 315 = 0. Let h = r + -87. Is -19 at most h?
False
Let q = -275 - -276. Let x = 0.4 + 6.6. Let h = x - q. Which is smaller: -1 or h?
-1
Suppose 0 = -2*a + 333 + 61. Is 197 bigger than a?
False
Suppose 3*a + 5*p = -13, -a - 2*p - p = 11. Let u = -18 + 31. Let x(t) = -t + 12. Let y be x(u). Is a > y?
True
Let u(p) = 16*p**2 - 3*p + 10. Let f be u(2). Let n = -66 + f. Is n less than -5?
False
Let j = -0.95 + 0.75. Is -21 smaller than j?
True
Let p = -2652 + 13216/5. Is -8 > p?
True
Let q = -3.5 + 1.9. Let j = 45.1 + -45. Let s = q - j. Which is smaller: s or -1?
s
Let k(b) = 2*b**2 - 17*b + 43. Let l be k(5). Which is smaller: 67/9 or l?
67/9
Suppose -5*u = -3 - 2. Suppose i + 4 + 4 = 4*z, i - z = 1. Suppose 14 = -h - 3*h + 3*o, 8 = i*o. Which is greater: u or h?
u
Suppose -375 - 150 = 7*c. Which is smaller: -303/4 or c?
-303/4
Suppose -3*g - 3*i = -i + 11, -i - 4 = 0. Is g < 1/333?
True
Suppose l = -5*z - 7, 0 = -2*l - 5*z - 6 + 2. Which is smaller: 14/5 or l?
14/5
Let h be (-7)/28 + (-34)/(-8). Let d = -71 - -50. Let x be (d/6)/7*h. Which is greater: x or -3?
x
Suppose 3*a - l + 32 = 0, 8*a = 3*a - 3*l - 72. Let b be (-4)/6 + (-44)/a. Let y(t) = 2*t**2 + 24*t + 4. Let q be y(-12). Is q at most as big as b?
False
Let y = -0.305 + -123.695. Let a = y + 123.7. Let q = -11/3 - -4. Which is bigger: a or q?
q
Let c be 10/(-65)*79/38. Let l = -3/247 - c. Which is smaller: l or -1?
-1
Suppose -c - i = -2*i + 7, 4*c - 5*i + 33 = 0. Let v = -602 - -1802/3. Which is smaller: v or c?
c
Let c(r) = -51*r + 57. Let j be c(4). Which is