ue
Let g = 851 - 789. Is g at most 365/6?
False
Let o = 26 - 25.7. Let g = o + 0.7. Which is smaller: g or 1/2?
1/2
Let w be (-6)/(-30) + (-16)/5. Is w equal to -69?
False
Suppose 5*j - 27 + 2 = -5*g, -g - 2*j + 3 = 0. Suppose 0 = 2*q + g + 11. Let m(n) = n**2 + 7*n - 2. Let u be m(-6). Is u smaller than q?
False
Suppose -w - 14 = -2*q, 5*w - 8*w - 46 = -2*q. Do -113/7 and w have the same value?
False
Let t(k) = k**3 + 11*k**2 - 13*k - 10. Let v be t(-12). Let n be (-10)/35 - v/(-7). Is 2 > n?
True
Suppose 5*c = -5*r + 110, -5*r + 3*c + c = -137. Let w(d) = -7*d + 82. Let n be w(8). Which is smaller: n or r?
r
Let z = 12/1039 - 1702/327285. Which is smaller: -1 or z?
-1
Let a(o) = -o**3 + 18*o**2 - 57*o + 4. Let q be a(4). Are 2/741 and q non-equal?
True
Let o(f) = f**3 - 3*f**2 + 15*f - 26. Let i be o(2). Do -2/705 and i have the same value?
False
Let d = 9.9 + -64.9. Let n = 54 + d. Which is greater: -2/11 or n?
-2/11
Suppose 0 = -x - 4*x. Suppose 17*o - 14*o - 3 = x. Suppose -4*w - w + 21 = 4*f, 0 = 4*w - 5*f + 16. Is w at most as big as o?
True
Let j = -5722 + 40224/7. Let r = j + -6984/287. Which is smaller: r or -1/3?
-1/3
Let t = 9 - 10. Is -5 < t?
True
Suppose 2*y - 15 = -3*t, 5*y - 22 - 3 = -5*t. Suppose 2*u - 4*f = -50, 6*u - 3*u + f + 47 = y. Which is greater: u or -16?
-16
Suppose 5*p = 16*p - 33. Let z = 54 - 53. Which is greater: z or p?
p
Let b(y) be the third derivative of y**4/24 + y**3 + 3*y**2. Let z be b(-3). Let h be (z/(-24) - 0)*-1. Are h and 1 nonequal?
True
Let d be (((-80)/3)/4)/(10/(-15)). Suppose d*y = y - 18. Do y and -6 have different values?
True
Let j = 0.8 - -7.2. Let g = 3286/5 + -657. Which is smaller: g or j?
g
Suppose -s - 111 = 4*v, -2*v + 0*s = -5*s + 83. Let y = v - -26. Does -2/15 = y?
False
Let i be (-275 + 5)/(-5) + -6. Is i at most 48?
True
Suppose -3*f + 2 = -10. Let h be ((-10)/3)/(f/(-6)). Suppose 0*g = h*z + g, 4*g = -5*z. Which is bigger: -1 or z?
z
Suppose -4*y = 3*n + 40, 5*y + 70 = -5*n - 0*n. Suppose -z = -5*r + 2*z - 78, 0 = 4*z + 16. Which is greater: r or n?
n
Suppose 2*y - 2 = y. Suppose x - 2*b + 1 = 0, 20 = y*x + 3*b - 6. Is x >= 5?
True
Suppose -2*g - 2*k = -36, -6*k = -g - 2*k + 8. Suppose -17 = -u - p, 11*u - 13*u + 2*p + 34 = 0. Which is bigger: g or u?
u
Let p = -97/4 - -833/36. Let y(j) = j**2 - 63*j - 2. Let q be y(0). Is p greater than or equal to q?
True
Let f(g) = g**3 - 9*g**2 + 8*g + 13. Let h be f(8). Suppose 2*u - 98 = 5*y, 3*y = 3*u - 169 + h. Is 54 not equal to u?
False
Let o = -2/1141 + -41066/5705. Which is smaller: o or -7?
o
Let d = 121655/13026 + 135/334. Let h = d - 92/13. Is h > 2?
True
Let h = 5.3 - 11.7. Let d = h + 4.2. Let g = 0.5 + -0.4. Is d bigger than g?
False
Let g(o) = 2*o**2 - 5*o + 35. Let x be g(6). Is x < 78?
True
Suppose t + 4 = -1. Let n be (1 - -3)*(1 + 4). Let f = 14 - n. Is f less than t?
True
Let d = 127/2 - 61. Which is bigger: 4 or d?
4
Let o(u) = -9*u + 1. Let w be o(-7). Let p be (-4)/(-6) - w/(-12). Let g be ((-4)/(-54))/((-1)/p). Is g at most as big as -1?
False
Suppose 0 = -34*v + 36*v + 12. Let j be (-89)/v - (3 - (-3 - -2)). Is 12 at most as big as j?
False
Let u be (5 - 5*-12)/(-1). Is -129/2 at most u?
False
Suppose 8 + 0 = 4*a. Suppose a + 7 = 3*m. Suppose -2*s = -13 + 5. Is m greater than or equal to s?
False
Let j = 138.99 + -140. Let b = j + 1.11. Which is smaller: 27 or b?
b
Suppose 0 = -62*o + 74*o + 876. Which is smaller: -70 or o?
o
Let t = -165.194 - -165. Let f = -0.006 + t. Is 10 at most f?
False
Let z = -0.1 - 0. Let o = 19.7 - 140.7. Let m = -119 - o. Which is smaller: z or m?
z
Let l = 0 + 0. Let t be (-28)/(-13) + -2 - 162/(-130). Is l at least as big as t?
False
Suppose h + 4*l - 23 = 0, -5*l = -4*h - l - 8. Suppose 8*g - h*g + 5 = 0. Let q = 33/95 - 18/19. Which is greater: g or q?
q
Suppose 11*s - 9*s + 148 = 0. Does s = -74?
True
Suppose -43 = -42*p - p. Which is greater: p or -12/35?
p
Let u = 16 - 11. Let j be (-7 - 3)*(2 + -1). Let r be j/(-3) + (-4)/3. Which is greater: u or r?
u
Let q be 6*(-12)/(-8)*136/12. Which is greater: q or 103?
103
Suppose 2 = 2*x, 4*x + 16 = 3*f - 4*f. Let m be f/70 + (-9048)/574. Let l = -16 - m. Are l and 1 unequal?
True
Let l be -10*(-6)/297 + 2/9. Is l > 1?
False
Let b be (-82)/(-123) + (-1)/(-3). Which is smaller: b or 5/14?
5/14
Let m be 0/(-4*(-4)/(-8) + 4). Which is smaller: m or -3/4?
-3/4
Suppose -233 = -2*f + 47. Suppose 4*p + f = -4*k, -23 + 3 = k - 2*p. Which is greater: k or -32?
k
Let x = 3 - 5. Let d = 3 - 2. Suppose 4*u + d = -3. Is u at least x?
True
Suppose -c + 5 = 2*y, -21 + 9 = 4*c. Suppose y = -5*u - 26. Suppose 17*v = 3*i + 16*v + 19, 3*i + 5*v + 31 = 0. Which is smaller: u or i?
i
Let f = -4 - -2.4. Let x = -2 - f. Are x and -3 unequal?
True
Suppose -l + 2 = -3*b, l + l + 3*b + 32 = 0. Suppose -19 = -4*h + s, -3*h + 0*h = -5*s - 10. Suppose h*r = r. Which is bigger: l or r?
r
Let m = 362 - 361.72. Which is smaller: -6 or m?
-6
Let f be -1 - ((-40)/6)/(-1). Which is smaller: f or 2?
f
Let p be 2*2/(-4)*0. Let w be (43/5)/(4/20). Suppose p*c + 2*c + 7 = -a, 2*c = -5*a - w. Is a not equal to -12?
True
Let m(d) = -2*d**2 + 34*d - 24. Let p be m(16). Let g be ((-220)/91 - p/52) + 2. Which is smaller: -0.06 or g?
g
Suppose 7 = m - 3. Suppose -2*v = 4*u - 32, -5*u + 21 + 23 = 3*v. Is m at least v?
True
Let v be -5 - ((-2)/12)/((-20)/(-880)). Is 0.7 at least v?
False
Suppose -5*o + 44 = 4*s, 2*o = -4*s - 0*o + 32. Suppose 3*d + 10 = -4*h + 70, 0 = 3*h - 3*d - 66. Let z be 27/h*4/s. Is z > -3/20?
True
Let d = 19.2 - 12.6. Is -0.1 <= d?
True
Let n = -893 - -713. Which is smaller: 2 or n?
n
Suppose 21*g - 23*g = 0. Is -1/878 < g?
True
Let q = 1222 - 946. Which is smaller: q or 277?
q
Let u be 10/240*6 + (-526)/(-200). Which is smaller: 4 or u?
u
Suppose 2*y + 112 = -2*l, -2*l = 3*y + 89 + 78. Is y equal to -107/2?
False
Let x be (-2)/(-222)*(-4 + (-11 - -9)). Which is greater: 1 or x?
1
Let m be (-2 + 2)*1/3. Let f be (-1)/(-3) + 32/(-6). Let d = 17/3 + f. Is m at least as big as d?
False
Let d be 14/84 + (-37)/6. Let k be 2/((-4 - d) + -4). Which is smaller: k or -6/11?
k
Let b be ((-4)/(-14) - 0) + 0. Let z be (8/6)/(10/15). Suppose -z = -7*y + 5. Which is smaller: y or b?
b
Let n = 0.0062 + -54.0062. Which is smaller: -1/5 or n?
n
Let s(c) = -17*c**2 - 2*c + 1. Let w be s(1). Let u = w - -31. Which is bigger: 15 or u?
15
Let b = -1223 - -124741/102. Which is smaller: b or -1?
-1
Let s = -8 + -19. Let m be (-3)/(1/(-1)*1). Let h be 2 - -14*m/s. Is 0 != h?
True
Suppose -6*b + 41 = -13. Suppose b*p - 7*p = -20. Which is greater: -12 or p?
p
Let q(c) = 18*c + 4. Let r be q(2). Let o be (171/(-6))/(15/r). Is -78 smaller than o?
True
Suppose 3*g = -0*z - 2*z - 7, 0 = 4*z + g - 11. Let i be z/12*(-2 - 1)*2. Which is greater: i or -10/3?
i
Let m = -25 + 41. Let h be ((-9)/(-6))/(6/m). Let i be (-2)/h*56/(-98). Which is smaller: 5/4 or i?
i
Let y = -55.5 + 54.5. Let i be 2/(3/(-2) - -1). Let w be i/(-6)*2/26. Is y bigger than w?
False
Let s = 0.5 + -0.5. Let j = 2 - -1. Let a = j - 2.7. Which is greater: s or a?
a
Let r = 6.1 - 0.1. Let g = r + 14. Let o = 20.06 - g. Is -3 less than or equal to o?
True
Let m = 27 + 4. Suppose -32*s + m*s = 0. Is 10 less than or equal to s?
False
Let r = 2 + -9. Let n = r - -6.9. Let s = n - -1.1. Is s greater than -0.8?
True
Let b = -16 + -2. Let t be (-200)/b + (-16)/(-72). Which is smaller: t or 12?
t
Let a = -0.31 + 15.31. Let q = 14 - a. Which is smaller: -0.02 or q?
q
Let p = -22 - -30. Suppose -p*w = -9*w - 11. Do 1 and w have different values?
True
Let u(i) = -4*i**2 - 4*i + 56. Let s be u(-5). Which is smaller: -9 or s?
s
Let g = -0.3 - -0.2. Let f = -3.71 + 0.21. Let n = -3.5 + f. Is n < g?
True
Suppose 2*m = 4*b - 14, 5*m = 3*b - 17 + 3. Let r be (-2 + m - -7) + 2. Let l = 145 + -145. Is l greater than or equal to r?
False
Let v be (32/136 + 0)*-1. Which is smaller: 7 or v?
v
Let u be 2 - (3 + (-16)/10). Suppose 0 = -0*i - 4*i. Suppose i*s = -s + 2. Which is smaller: s or u?
u
Let l = 37 - 17. Let p = -35 - -34. Let j be (-19)/p + 0 + 2. Which is smaller: l or j?
l
Let g(c) = c**3 - 6*c**2 + 3*c - 15. Let o be g(7). Suppose 0*k - 5*k = -u + o, 22 = -2*k + 4*u. Does k = -11?
True
Let y = 47 + -49.9. Let k = -6/3583 - -7184/10749