ller: 1 or m?
m
Let m = 76 + -72. Suppose -o = -m*t - 9, -4*o = 3*t + 2*t + 6. Is 1.3 greater than or equal to o?
True
Suppose 5*n + m - 20 = 3*m, 3*n - 5*m = 31. Which is greater: n or -155?
n
Suppose -3*k + 19 = i - 6*i, -2*i = -2*k + 14. Suppose -59 + 3 = -k*h. Which is bigger: h or -1?
h
Suppose 0 = 5*g - 7*g - 28. Let l = 13 + g. Let d be -12*1 - -2 - l. Are d and -8 unequal?
True
Let r = -93 + 94.075. Let t = r - 0.075. Is t bigger than -0.4?
True
Suppose c - 25 = -5*n + 89, 102 = 5*n - 2*c. Is n at most as big as 116/5?
True
Let j be (-12)/(-20)*(-2 - -17). Suppose -r - 8 = -2*q, -5*r + 34 = 3*q + j. Let x = 3 - 2. Which is bigger: x or q?
q
Let b = 37/54 + 1429/594. Suppose 8*d + 4*v = 5*d + 26, -17 = -d - 3*v. Which is greater: b or d?
b
Let f be ((-40)/208)/(2/8). Let s be (-3)/4 - 33/(-12). Suppose -z + s*z = -3*z. Is f bigger than z?
False
Let f = 0.277 + 28.723. Let m = 0.16 + -0.06. Are f and m unequal?
True
Let r be (-2100)/(-35)*4/230. Is r at most 1?
False
Let w be 50/(5/((-10)/9)). Which is bigger: -12 or w?
w
Let n be (21/(-12) + 2)*(-15906)/33. Which is bigger: -121 or n?
n
Let v(z) be the first derivative of -z**4/4 + 5*z**3/3 - 5*z**2/2 + 4*z - 1. Let w be v(4). Suppose k + 0*k - 2 = w. Which is smaller: k or 0?
0
Let q(w) = -w**3 - 3*w**2 + 3*w + 1. Let d be q(-5). Suppose 8*i + 28 + d = 0. Are -7 and i equal?
False
Let w = 1096 - 834. Is w > 266?
False
Let p = 259 + -418. Are 2 and p unequal?
True
Let k be (-2)/3*-3*2/2. Suppose -44 = -3*t - 4*z, -k*t + 4*z + 56 = -0*t. Is t greater than 18?
True
Suppose 2*i - 3*g - 29 - 18 = 0, 2*i - 53 = 5*g. Which is greater: i or 14?
i
Let u(l) = -44*l - 1102. Let h be u(-24). Is h smaller than -64?
False
Suppose -q - n - 6 = 0, 3*q + 0*n + 22 = -n. Let s be 5/(-2) + (-9)/6. Which is smaller: q or s?
q
Let k = -16 + 20. Let q be 42/30*(k - -1). Suppose -6*r + 1 = -q*r. Which is greater: r or -4/13?
-4/13
Suppose 5*f + 28 = -112. Let l be 2/(-8) + f/(-48). Let d(m) = -3*m + 3. Let c be d(1). Is l > c?
True
Suppose 8 = 8*m - 8. Suppose -4*z - 5*y = -z - 11, -z + 3 = m*y. Suppose 0 = -g + 3 + 5. Which is bigger: z or g?
g
Let h = 43 - 34. Let k(g) = g - 2. Let v be k(h). Suppose -3*b + 2*r + 14 = 0, 0*b + 5*r + 21 = 4*b. Is b >= v?
False
Let t = -1566 - -1556. Which is bigger: t or -18?
t
Suppose -829 = 3*l + 4*t + 581, -l - 5*t = 470. Which is greater: -469 or l?
-469
Let w = 3 + -3.3. Let z = w + 1.3. Let y be 4*(-2)/(-68) + 4224/(-16830). Which is bigger: y or z?
z
Let i = 7 + 8. Let f = i - 15. Let t = 15242/189 + -564/7. Which is bigger: f or t?
t
Let o = 482 - 288. Which is greater: 197 or o?
197
Let i = -0.35 + 0.3. Let b = -8.48 - -8.23. Let l = i + b. Are -1 and l equal?
False
Let u = 18 - 15. Let o be -3 - (u + -4)*6. Suppose 2*r - 1 = -2*i - 3, -5*i = 4*r + o. Which is smaller: -1/8 or i?
-1/8
Let s = -52 - -53. Let o = 8 + 4. Suppose 7*f = 3*f + o. Which is greater: f or s?
f
Let p be 1432/(-238) - (16 + -14)*-3. Let g be -1*(0 - (-1 - 0)). Is g > p?
False
Suppose 123 - 61 = 16*m + 78. Let v = -29 - -15. Is m < v?
False
Suppose -3*c - 9 = 6, -y = -4*c - 9. Let o = y + 15. Is o at most 7/2?
False
Let g be (3/36)/(13/(-39)). Is -121 <= g?
True
Let k = 1170 + -1057.9. Let a = -112 + k. Let t = 3 - 3.01. Which is greater: t or a?
a
Suppose -5*h - 16 = t + 1, -5*t - 5*h = 5. Let r = t + -6. Let u be 1 + 6/r - 2. Is -4 != u?
True
Let y = -4117 + 2527837/614. Which is smaller: 1 or y?
y
Suppose q - 6*q = -30. Let h(g) = 5*g - 2*g - q*g - 5 - 1. Let p be h(-5). Is p > 9?
False
Let k = -78 + 78.12. Which is bigger: 7 or k?
7
Let j(t) = -t**3 + 9*t**2 + 2*t - 6. Let r be j(9). Let l be r*((-15)/(-9) - 1). Let o be 8/8*(-3)/l. Does o = -1?
False
Let k be 7 + (-4)/(-12)*-39. Which is greater: -58/11 or k?
-58/11
Let r be 17 - 3850/40 - 2/8. Is r bigger than -1/2?
False
Let u be 2 + 3*(-1 - 1). Let r = -12 + 17. Suppose -r*x = 34 + 1. Is u at most as big as x?
False
Let c = -113/6 + 18. Let i = 29 + -35. Let d be (-110)/60 + 1/i. Is d less than c?
True
Let z = 23 + -22. Are z and 83 equal?
False
Let k be (-4)/14 - 4032/(-392). Is -1/3 less than or equal to k?
True
Let j = 1102569 + -7731523/7. Let m = 1939 + j. Which is greater: m or 4?
m
Let a = 1227.94 + -1242. Let u = a - -14. Let k = -0.56 - u. Which is smaller: k or -0.1?
k
Let v = 801 + -820. Which is smaller: v or -23?
-23
Let i = 0.02 + 16.98. Suppose 18*v = 10*v + 88. Suppose 0 = v*s - 19*s. Which is smaller: s or i?
s
Let q be 3*9/(54/4). Suppose -16 = -6*m + q*m. Which is smaller: 3 or m?
3
Suppose 19*t - 10030 = 2*t. Which is smaller: 591 or t?
t
Let o = 1263 - 1262. Let p = -4 + 7. Which is bigger: p or o?
p
Let y be 12 + (6 - 5) - (1 - -2). Let n = -11 + y. Which is greater: n or 2/25?
2/25
Let b = 6/1279 + -49983/21743. Which is smaller: -1 or b?
b
Suppose -2*n - 5*f = -n + 10, -4*n + 3*f + 29 = 0. Suppose -n*a = -6*a + 805. Let h be (30/a)/((-1)/(-7)). Which is smaller: h or 0?
0
Let u = 8.06 - 7.06. Is u > -0.0378?
True
Let j be -10 + (-20)/(-5) - (-52)/5. Are 3 and j equal?
False
Suppose -2*b = -1 - 19. Let d(t) = -75*t + 686. Let v be d(9). Is b < v?
True
Suppose -9*n + 340 - 124 = 0. Which is smaller: 29 or n?
n
Suppose 3*z + 28 = -14. Let q be 68/z - 2/14. Is -4 < q?
False
Let k(b) = 2*b - 10. Let p be k(13). Let m = p + -21. Let l be 1 + m + (-2 - 0). Do l and -5 have different values?
True
Let g be -10*(7640/3825 - 2). Is -1 >= g?
False
Let v be 12257/85 - 2/10. Let i be v/(-30) - 4*-1. Which is smaller: -2 or i?
-2
Let x = -4.6 - -4.64. Which is bigger: -30 or x?
x
Let t = 1 + 0. Let m = -1.52 + 17.12. Let d = m - 15. Is d at most t?
True
Suppose 3*j = -9*j + 144. Let y be 174*(-13 + j + (-8)/(-6)). Which is bigger: y or 59?
59
Let n(h) = h**2 + 8*h + 7. Let s be n(-6). Let u be (18/(-24))/((-3)/s). Let i be 14/(-35) - (-2)/5. Is u less than or equal to i?
True
Suppose -7*k - 2*q - 80 = -11*k, -3*k - 4*q + 71 = 0. Is 22 at most k?
False
Let y = 62 + -249/4. Let c = -1 + -1.2. Is c at least as big as y?
False
Let h be (0 + (-817)/(-22))/(2/(-24)). Let l = h - -446. Are -1 and l unequal?
True
Suppose 7*n - 144 = 4*n. Suppose 5*j + 23 = -3*r + 73, 3*r = -3*j + n. Does r = 15?
True
Suppose 13 = -2*i + 5. Let y be (-10 - (4 - 13))*(1 + 5). Is i > y?
True
Let c = -30246478430463/6235 - -4851078952. Let w = c - -9/1247. Let n = 188 + w. Which is bigger: n or 2?
2
Suppose 0*z + 14 = 2*n - 3*z, -z + 18 = 5*n. Let x be (-14)/7 + 2*n. Suppose 6*g + x = 4*g + 2*d, -2*g + 3*d - 7 = 0. Which is smaller: -3/4 or g?
g
Let f = 3200 + -3152.98. Let r = f + -47. Suppose -q + 2 = -5*c, -10 = -5*c - 4*q - 2. Is r not equal to c?
True
Let l = -259 - -263. Do 0 and l have the same value?
False
Suppose 2*y - 5 = 4*y - 5*f, 4*f = y + 7. Suppose 3*n + 22 = 3*z - z, -y*n - 5*z = -5. Let r be ((-3)/n)/(27/(-24)). Does r = 5?
False
Let o = 473 - 3322/7. Let r = 136/91 + o. Is 0.1 < r?
False
Let q = -18 - -25. Let o = 2 - q. Let z be ((-3)/(-6))/((-3)/18). Which is smaller: o or z?
o
Let v be (-252)/210*250/(-21). Which is bigger: v or 13?
v
Let h = -63 + 45. Which is smaller: h or -21?
-21
Let d = -0.042 + -0.058. Is d <= 0.165?
True
Let l be (-3)/(-2) + (-3)/(-9)*(-4)/8. Suppose 4*m + 4*t = -20, -4*m - t - t - 10 = 0. Is l <= m?
False
Let q = -7871/14 - -562. Let b(n) = -2*n + 3. Let y be b(2). Is q at least y?
True
Let b = 951 + -951.58. Which is smaller: 0.05 or b?
b
Let g = -30.7 + -0.3. Let n = -1921.99 + 1953. Let l = n + g. Is -0.1 equal to l?
False
Suppose 0 = d - 5*d + 104. Let m(a) = -a**3 + 3*a**2 - 4*a - 6. Let i be m(4). Let u = i + d. Which is bigger: u or -11?
-11
Let x(i) = i**2 + 9*i - 8. Let h be (-171)/15 - (12/(-30) + 0). Let l be x(h). Let p(u) = -3*u - 4. Let k be p(-6). Does k = l?
True
Suppose 220 = 2*n + 208. Suppose -n*w + 319 = 109. Is 34 < w?
True
Let m = -7/8 - -5/24. Let q = -153.16 - -160. Let y = q - -0.16. Which is smaller: y or m?
m
Suppose -5*l = -5*v + 5, -2*l - l + 4 = 4*v. Let a be (1971/(-21) + 2/(-14))/v. Which is smaller: a or -93?
a
Let x be (6552/637)/(2/161). Is 828 greater than or equal to x?
True
Let g(m) = m + 2. Suppose f - t - t = 11, 5*t + 30 = 3*f. Let k = f + -11. Let s be g(k). Is -4 less than s?
False
Suppose -i - 5*h + 40 = 4*i, -5*i + h = -10. Suppose 4*t + 24 = 4*q, -q + i*q = -t 