. Which is smaller: d or 244?
d
Let g = -355 - -387.8. Let q = -32.653 + g. Let o = -0.053 - q. Which is smaller: o or 2.9?
o
Let g = -1.7 - -3.4. Suppose -214*i = -1819*i - 3360*i - 49650. Is i < g?
True
Suppose 0 = -4*b - 183 - 73. Let t = b - -66. Suppose -t*u + 4*h = -4, 4*h = -2*u + u - 4. Which is smaller: u or -39?
-39
Let z = -299.36 - 587.64. Do z and -5 have different values?
True
Suppose -3*f = 2*p + 29, -8 - 3 = f + p. Let r(s) = -8*s**2 + 143*s + 12. Let w be r(18). Let k be ((-35)/(-28))/((-20)/w). Is k less than or equal to f?
False
Let z(c) = c**3 + 5*c**2 + 3*c - 2. Let o be z(-4). Suppose 2*g = 6*g - 2*k + 18, -2*g + 6 = o*k. Let s be (g/54)/(13/(-39)). Is 0 bigger than s?
False
Let u = -1094 + 1113. Let s = 4 + 0. Let w = s - 2. Is w at most as big as u?
True
Suppose -8*p + 6*p + 4 = 0. Suppose -p*l - 2*y - 2 = 2, 0 = -3*l + 3*y + 24. Suppose -l = -3*w + 2*k, 5*k + 11 = 4*w - 0*w. Which is smaller: w or -2/107?
w
Let s = -1958.1 - 71.9. Which is smaller: -1/3 or s?
s
Let i = -98 - -761. Which is greater: 659 or i?
i
Let a(s) = 1 + 51*s + 3*s**2 - 94*s + 54*s. Let t be a(-6). Let r = 310 - 267. Is r greater than or equal to t?
True
Let f(g) = 18*g + 71. Let y be f(0). Is y at least as big as 69?
True
Suppose 256*a - 120*a = -6528. Let g = -1.2 + 1. Let i = g + 0.3. Which is greater: i or a?
i
Let t(u) = -u**3 - 20*u**2 - 69*u + 96. Let v be t(-14). Which is greater: -109 or v?
-109
Suppose 4*u = 2*j + 18, -5*j + 89 = 2*u + 86. Which is smaller: j or -9/121?
j
Suppose 1275 = -936*d + 937*d - p, -d + 4*p + 1260 = 0. Is 1284 at most d?
False
Let k = 2.4 - 0.4. Let p = 59.11 + 1.89. Let i = 23 - p. Which is bigger: k or i?
k
Let z be ((-42)/(-6) + -5)*1. Let l be -6*8/(-72)*9/z. Is l >= -4?
True
Let m = 26175 - 25795. Is m less than or equal to -3?
False
Let j be ((-51)/(-85))/(136/100 - 1)*-21. Which is smaller: j or 72?
j
Let q = -1.09 + 0.17. Let o = -1.38 - q. Let a = -13.46 - o. Which is smaller: a or 4?
a
Suppose 4*j = -2*t - 16, -5*t - j + 40 - 44 = 0. Which is smaller: t or 48/133?
t
Suppose -130 = -345*l - 258 - 562. Are -0.0438 and l equal?
False
Let n = 58.06788 - 1.86788. Let h be (1 - 3) + (-24)/(-14). Which is smaller: h or n?
h
Suppose -217 = 6*v - 229. Let w be v/(-6)*0 - -3. Which is smaller: w or -4?
-4
Let l = 967 - 1192. Which is greater: l or -221?
-221
Let m = 718/2869 - 6/151. Let n = 67382/9 + -2550499/342. Let q = n + m. Is q bigger than 29?
True
Let u(n) = -n**2 + n - 47. Let v be u(0). Let g = v + 38. Let k be 6*((-27)/(-6))/g. Which is greater: 0.1 or k?
0.1
Suppose 210 = -11*a + 26*a. Let j(g) = -3*g**3 - 2*g**2 + 3*g + 3. Let w be j(-2). Which is smaller: a or w?
w
Let b = 4 + 211. Let f = b + -260. Is -45 equal to f?
True
Let u = 13404 + -13402. Which is smaller: u or -124/3?
-124/3
Let c be (-38)/(-14) - 2/(-7). Suppose -5*z - 3 = -c*k, -5*k + 5*z = -8 - 7. Let s be -9 + 548/1507 + 666/44. Which is smaller: s or k?
k
Let c = -137.98 + -40.02. Is c bigger than -1.3?
False
Let m(z) = z**3 + 58*z**2 + 106*z - 76. Let s be m(-56). Are s and 2845/11 equal?
False
Suppose 3*h + 4*h = -3*h - 200. Let i(z) = -2*z**2 - 1. Let d be i(-3). Is h equal to d?
False
Suppose 0 = -5*z - 3*c + 33, -13*z + 4*c - 22 = -16*z. Let b be (-1 + -117)/(z - 4). Is b at least -58?
False
Suppose f = -17 - 5. Let y = -863.9 - -864. Which is bigger: y or f?
y
Let s be (8 - 24/2) + (-230)/(-228). Let h = -1/325 + -5519/1950. Let g = s - h. Is 2/3 > g?
True
Suppose -21*d + 20*d = 2*f + 3388, -3*d + 4*f - 10174 = 0. Which is greater: d or -3391?
d
Let m(s) be the first derivative of s**3 - 2*s**2 - 6*s - 19. Let c be m(3). Suppose -c*x + 5*x = -0*x. Which is greater: 2 or x?
2
Let f be 43/52 + (6 - 152/32). Let a = f + -269/117. Which is smaller: a or 3/19?
a
Suppose -3 = 5*a - 18. Suppose 1 = s + n + 3*n, 4*s - a*n = 4. Let c be 3/(-5) - s/15*-49. Which is bigger: c or 2?
c
Let f = -475 + 702. Let j = f + -228. Which is smaller: -40 or j?
-40
Let z = 5626 + -5706. Suppose 8*x = 2*b + 3*x + 145, 3*b - 4*x + 228 = 0. Are b and z equal?
True
Let r be 25 - (-18 + 54111/1258). Which is smaller: r or 74?
r
Let n be (-464)/(-6)*90/(-105). Let p = n - -6228/91. Is p != 2?
True
Let x(y) = 3*y**2 + 41*y + 38. Let g(z) = -z**2 - 14*z - 13. Let j be -2*(-1)/(8/(-68)). Let n(t) = j*g(t) - 6*x(t). Let v be n(-7). Which is smaller: -5 or v?
-5
Let s = -5703/532 - -203/19. Is 8/3 bigger than s?
True
Let d = 0.05 - -5.95. Let u(i) = 149 - 4*i + 22*i - 2*i**2 - 53*i + 3*i**2. Let y be u(5). Is d bigger than y?
True
Let t = -8180/7 - -24911/21. Suppose 0 = z + 5*c - 62, -4*z + 3*c + 216 = 7*c. Let o = z + -34. Which is greater: t or o?
o
Let w be ((-2)/(-15))/((-24)/(-396)). Let z be (4 - (-64)/(-14))/(1/(-7)). Suppose 3*j - 2*g = -z*g - 3, -g = -5*j + 8. Which is bigger: w or j?
w
Suppose 14*d - 58 = 16*d - 3*w, -d = -5*w + 22. Let t = -38 + 2. Is d at least as big as t?
True
Let v = 5380835/41 - 131240. Suppose -5*g + 5 = -0. Is g greater than or equal to v?
True
Let b be 2222/9 - 3/(-27). Suppose 0 = -5*c - 97 + b. Are 1 and c equal?
False
Let f be 1 + -1 - 38*3. Let j be (-35)/315*(-49)/(-7)*147. Is j greater than or equal to f?
False
Suppose 12*q + 86 = -310. Let j = q + 32. Which is bigger: 6/31 or j?
6/31
Suppose 2659*x = 2656*x - 5*l - 27, -x - 3*l = 17. Suppose 0 = -8*m + 4*m + 712. Which is smaller: m or x?
x
Let t be (798/49 + 2/(-7))*5. Let d = t - 84. Let c(y) = 5*y + 10. Let l be c(d). Which is smaller: l or -7?
l
Let r = 6889 + -6888.94. Are r and -58/9 nonequal?
True
Let b = 12/12187 - -19536/1377131. Is 1 bigger than b?
True
Let v be (-15315 - -2) + (-279)/(0 - 31). Is v at most -15303?
True
Suppose -a - 5*q = -8 - 4, 5*q - 24 = 3*a. Let n(x) = -26*x + 6. Let c be n(a). Which is smaller: 85 or c?
c
Let v = -14088 - -13946. Is v at least -0.61?
False
Let p = 51 + -56. Let c be (3 - 1/(-3))*(-9)/p. Let k be (-5)/((-60)/(-33)) - c/(-8). Is -8 >= k?
False
Let h = 43.5 - 44.5. Which is smaller: h or 1084?
h
Let k = 39 + -18. Let y be (-10)/(80/(-64)*-6). Which is smaller: y or k?
y
Let n = -6 + 7. Let k be 2 + (n - -2) - 2907/551. Is -1 equal to k?
False
Let f be (-300)/(-9)*(-1 + 4/(-20)). Let x be (0/(f/(-5)))/5. Do -2/65 and x have the same value?
False
Let k(t) = -t**3 + 8*t**2 - 13*t + 7. Let u be ((-4)/(-1))/(4/8). Suppose -p - 2*b = -5*p + 22, -2*b = p - u. Let o be k(p). Which is smaller: 9/4 or o?
o
Let z be 124 - 12/(-9)*3. Let v be (-16)/12*(-24)/z. Which is greater: v or -0.1?
v
Suppose 3*s + 45 - 36 = 0. Suppose -7 = 4*v + 21. Is v <= s?
True
Let f = 551 - 550.762. Let s = 51.762 + f. Which is bigger: s or 1/6?
s
Suppose n - 3*o - 13 = 0, 3*n - 126*o = -122*o + 29. Suppose 3*h + 2*y - 16 = -0*y, 4*h = 3*y + 27. Let a be (h/5)/(2/10). Which is greater: n or a?
n
Let t(i) = -i**3 - 8*i**2 - 6*i + 7. Let d be (-3)/((60/(-35))/(-4)). Let n be t(d). Let k = 29 - 8. Do n and k have the same value?
False
Suppose -181 + 31 = -10*f. Suppose -f*m - 20 = -17*m. Suppose 0 = m*i - 0*i. Is -1/22 at most i?
True
Let k = -24309 - -10671645/439. Is k != 1?
True
Suppose 7*r - r = -3179370. Let u = r - -42390619/80. Let j = 61/5 + u. Which is bigger: -1/2 or j?
j
Let z = 1653.8 - 1654. Is z smaller than 2040?
True
Let u = 44.73 - 58.075. Let g = -0.345 - u. Is 1 at least as big as g?
False
Suppose -6*q = -2*q. Suppose 7*j = 23 + 89. Let l(a) = 6*a - 97. Let c be l(j). Which is smaller: q or c?
c
Let k = -16.565 - -16.865. Is k smaller than -1/9?
False
Suppose 162*l = 167*l + 470. Let u = l + 95. Which is smaller: u or -10/53?
-10/53
Let q = 391 - 361. Suppose 30*a = 35*a - q. Suppose -12 = -4*w + 3*c - 2, -5*c + 22 = 3*w. Is w at least a?
False
Let q be 728/(-12) - 2/(-3). Let b be (-6)/(-5)*(-200)/q. Suppose 0 = p - 5*p + b. Is 11 at least as big as p?
True
Suppose -498*f + 497*f = h - 1459, 3*h = 4*f - 5864. Is 1467 less than f?
False
Let o = -0.5834 - -287.5834. Which is bigger: o or -4?
o
Let h(r) = -r**2 + 42*r - 24. Let g be h(10). Let s = g - 5033/17. Is s at most as big as 0.06?
True
Suppose -32 = -4*t + 2*r, -2*t = -5*r + 3*r - 16. Suppose t*n = 2*n + 5*n. Which is smaller: -9 or n?
-9
Let k be (-156)/(-429)*(-473)/(-6). Is 28 <= k?
True
Let z = -869 - -870. Let x be (2/(-13))/(5 + 0). Which is smaller: x or z?
x
Suppose 72*q - 14