ppose -3*j - 1 = -4. Is j greater than y?
True
Let u be 4/(-2 - -1)*14/56. Does -4/29 = u?
False
Let d be -2 + (1/1 - 0). Which is greater: 3/412 or d?
3/412
Let t = -188 + 136. Do t and -158/3 have the same value?
False
Let k be 1967/(-21) - (2/(-3) + 1). Which is smaller: k or -96?
-96
Suppose -2*j + c = -137, 2*j - 5*c - 335 = -3*j. Suppose -4*t + 35 = 3*w, -3*w - j = -5*t + 2*w. Which is smaller: t or 10?
10
Let o be (2 + 2)/(-2) - 3. Let s be (2*-2)/(((-72)/(-6))/(-6)). Which is bigger: s or o?
s
Let l = 765 + -843. Is 2 > l?
True
Let x be -1 - 0 - (-15)/5. Suppose -3*a + x = -5*m + 13, 13 = -5*a + 3*m. Let n be a/(-10) + (-37)/135. Which is smaller: 0 or n?
n
Let k = -139/10 + 14. Suppose 58*j + 5*l = 75*j + 12, -2*j + 3 = -5*l. Which is smaller: k or j?
j
Let t = 1253/22608 - -1/7536. Suppose -1 - 14 = 5*d. Is d at least as big as t?
False
Let t be (1 - 2)*(-21)/3. Suppose i + t - 8 = 0. Let f be 60/(-18) - i*-3. Which is greater: f or -0.1?
-0.1
Let a = -0.391 + 0.191. Which is smaller: -60 or a?
-60
Let w(d) be the third derivative of -d**4/24 - 3*d**3/2 + 16*d**2. Let h be w(-10). Do 2/45 and h have the same value?
False
Let t be 5/2*(-136)/(-850). Do 0.05 and t have different values?
True
Suppose 0 = 27*z - 24*z - 9. Suppose -4*k + 0*k - 4 = 0, z*b + 2 = -5*k. Is 6/11 greater than or equal to b?
False
Let o = 501 + -490. Let a be -1 - (92/(-6) + 3). Which is bigger: o or a?
a
Let n be 3/9 + 1/(-3). Suppose -4*b = -2*a - 3*a - 134, -3*b + 5*a = -98. Let s be 0 + (-8)/b - 0. Is n less than or equal to s?
False
Let f = -1.8 - -2. Let p = 0.1 - f. Suppose 0 = 52*y - 54*y. Which is bigger: y or p?
y
Suppose 19 = 3*d + 4. Suppose 3*z + z = 2*k - 8, 2*z + 4 = -d*k. Let l = -68/49 + 26/49. Which is greater: l or k?
k
Let d = 0.24 - 0.24. Which is smaller: -36/11 or d?
-36/11
Let u be 514/4 - 18/(-12). Let d be (-2)/(-4)*u/(-39). Which is bigger: -0.1 or d?
-0.1
Let s be (308/14 + 3)*(-6)/(-2). Is -2/5 equal to s?
False
Let x = 14 - 25. Suppose -35 = 2*p + 4*f + f, -f + 5 = 0. Let m = p - -18. Is x less than m?
False
Let v = 15 + -15. Let k = v + 11. Let s = k - 10. Is s < 4/9?
False
Suppose -15 + 5 = -10*v. Which is smaller: 2/57 or v?
2/57
Let s = -805 + 806.74. Is 5 less than s?
False
Suppose -104 + 456 = -22*y. Is -117/7 greater than or equal to y?
False
Suppose -66 = -3*u + 3*o + o, o = 4*u - 75. Let j be (-1)/(-3) - 12/u. Is -0.018 < j?
False
Let w = 0.04 + -0.071. Let z = 0.131 + w. Does z = -9?
False
Let i be (-62)/(-2) - (1 + -4). Let a = -95/3 + i. Suppose 7*b - 10 = 2*b. Do b and a have different values?
True
Let q(m) = m**2 - 5*m + 1. Suppose -5*k = 4*h - 15, 4*k + 3 = -1. Let j be q(h). Let t be 4/(j - 3) + 1. Which is greater: t or 1/14?
1/14
Suppose -3*n = -n + 12. Let t = 23 + n. Suppose 3*f - 36 - 12 = 0. Do f and t have different values?
True
Let v = -369 + 368. Which is greater: v or -28.8?
v
Let f be (5/(-10))/(10/12). Suppose 15 = -v - 0*v - 5*q, -3*q + 95 = -2*v. Let n be 2/3 - v/(-15). Which is smaller: n or f?
n
Let d(y) = -4*y - 90. Suppose -4*t - 46 = 50. Let u be d(t). Is 15 >= u?
True
Let a(y) = y + 4. Let m = 11 + -13. Let x be a(m). Suppose -5*i - 3*z = -1, 2*z + 1 - x = -3*i. Is i smaller than 1/12?
True
Let a = -397 - -393. Do 0 and a have the same value?
False
Suppose -2*w + 4*c = 14, w + 10 = 3*c - 2. Let v be (2/8)/(w/(-12)). Which is bigger: v or 0.1?
0.1
Let z be 11/(-2)*(-28)/77. Let t be (z - 3)*(-4)/22. Is 1 at least t?
True
Let c be (91*(-2)/15)/2 + 5. Is c smaller than -2?
False
Suppose 530*c - 518*c = -2136. Is -178 at most as big as c?
True
Let j be (14/8)/(1/(-12)). Suppose 0 = -2*a + 11 - 51. Which is smaller: a or j?
j
Let t = 49.9 - 48. Let y = t - 2. Which is smaller: 28 or y?
y
Let y(z) = -12*z + 2 + 0*z + 2 - 3. Suppose -7 = -5*j + 4*v - 2*v, -j + 3*v = -4. Let s be y(j). Which is greater: s or 0.1?
0.1
Suppose 2*x + 4 = 0, 2*d - 4*x = 7*d + 183. Which is greater: -0.2 or d?
-0.2
Let g(q) = q**2 + 9*q + 11. Suppose -20 = -4*r, 0 = -2*n + n + 3*r - 25. Let d = 2 + n. Let i be g(d). Which is greater: 11/5 or i?
i
Suppose 2*s - 5*n = -s + 275, 0 = 5*s + 4*n - 446. Let w be (38 + -46 + -1 + -27)/((-4)/10). Is w greater than or equal to s?
True
Suppose -5039*s + 5035*s = 4. Which is smaller: -999/4 or s?
-999/4
Let x = -9 - -8. Is x >= 101?
False
Let u be (-35)/42 + 1 - (-4)/(-6). Are u and -0.02 nonequal?
True
Let a(p) = 5*p**2 - 13*p - 4. Let q be a(-5). Let g be (-2 + q/105)*-4156. Let z = 950 - g. Which is bigger: 1 or z?
1
Suppose 48*z - 6*z = 0. Which is smaller: z or -13/154?
-13/154
Let x be ((0 + 2)/(0 + -1))/2. Which is smaller: x or 145?
x
Let o = -35.3 - -49.3. Which is smaller: 2 or o?
2
Let f = -50 - -94. Let h be (0 - 13/f) + (-6)/24. Is h at least -2?
True
Let i be (-1 + 2)/(1 + -8 - -5). Is -40 less than i?
True
Suppose -49 - 1 = -5*o. Let f be 6*(-2 + (-26)/(-6)). Suppose -f + 59 = 5*g. Is g less than o?
True
Let m(s) = -15*s - 13. Let x be m(-2). Suppose 14*y - x*y + 15 = 0. Let t be (-4)/(-35) + 4/14. Is y at least t?
True
Suppose -2*o = 4*k + 32, -3*o = -k - 6 + 75. Let f = o + 21. Which is smaller: 2/11 or f?
f
Let a = -1771 - -1713. Which is bigger: -53 or a?
-53
Let o = 571 + -556. Which is smaller: o or 13?
13
Suppose -w + 11 = 11. Let x be (-189)/(-4) - (w - 1/(-4)). Is 49 smaller than x?
False
Let q = -12402/125 - -496/5. Is 1 > q?
True
Suppose -2*x + 2 = -3*x. Let z be 9/3 + (-1884)/9. Let r = -208 - z. Does x = r?
False
Let w = 12 - 27. Let j be ((-12)/(-14))/(w/(-70)). Suppose -i + 3 = 5*f + 4, 1 = j*f - i. Which is greater: -2/5 or f?
f
Let r = -461 - -452. Which is smaller: 2/33 or r?
r
Let l(j) = -2*j**2 + 12*j - 2. Let x(g) = -2*g - 6. Let n be x(-6). Let v be l(n). Is v < 2?
True
Let s = 394 + -394.3. Which is greater: -290 or s?
s
Let o(g) = -2*g + 24. Let p be o(12). Let m be 3*((1340/12)/(-5) + p). Is m bigger than -1/2?
False
Suppose 4*a = 5*y - 9*y - 32, 5*a - 2*y + 12 = 0. Is a < -5?
False
Suppose 38 = 4*w - 2*a, 0*w - 2*a - 8 = -w. Let k be (-116)/330 - w/(-50). Let g = 2/11 - k. Are g and 1 nonequal?
True
Let a be 10/((-4)/(-10) - 0). Suppose -40*b + 124*b = 2016. Is a greater than b?
True
Suppose -9 + 19 = 2*f. Suppose -f*b - 25 = -15. Are 0 and b unequal?
True
Let b be ((-2)/(-8))/((-1)/(-4)). Let u be (-2 - -4 - (-2 + 5))/b. Which is smaller: 3/23 or u?
u
Suppose 5*g - 4 = g. Let m be ((-2)/4)/(3/22). Let u = 32/9 + m. Which is bigger: u or g?
g
Let k = 14 - 43. Suppose -8 = 7*g - 8*g. Let d = k + g. Which is greater: d or -20?
-20
Suppose 5*b + 6*l = 3*l + 8, 5*l = -5*b + 10. Let t be 12/3 + (-3)/(-1). Let k be (-6)/12 + t/22. Is b != k?
True
Let v = 182 - 303. Let w = 531841/4410 - -1/882. Let z = v + w. Is z at least -1?
True
Suppose 0 = -5*f + 40 - 130. Let u = 20 + f. Is u at least 1?
True
Suppose 29 = b + 3*b - 5*o, 0 = -3*b + 5*o + 28. Is b > -2/27?
True
Let r = -1965.9 + 1966. Which is bigger: r or 93.4?
93.4
Let i be (12/5)/3*5. Suppose 15 = -5*u - 3*q, 0*u + 2*q + 14 = -4*u. Let x be ((-4)/(-6))/(u/(-27)). Is i equal to x?
False
Let v(m) = -36*m**2 - 7*m + 15. Let n be v(2). Is n != -143?
False
Let q(m) = m**3 + 10*m**2 + 8*m - 13. Let u be q(-9). Let j be u/18 + (-11)/(-9). Which is smaller: 4/11 or j?
4/11
Let v = 43 - 46. Let a be (v*25/15)/(-5). Is a less than -17?
False
Let f(l) = l + 10. Let z be -4 + 5 + -4 - 6. Let c be f(z). Which is smaller: c or 1/46?
1/46
Suppose -4*k = -3*m + 24, 0*m = 4*k + 4*m + 52. Let a be (3/(k/(-24)))/2. Suppose -5*t - v - 2 = -11, 16 = -a*t + 5*v. Is t less than or equal to -8?
False
Suppose 0 = -56*d + 53*d - 105. Let k be d/120*-3 - 6/4. Is -2 bigger than k?
False
Let h = -2 - -2. Let x = -6671.77 + 6589. Let q = -83 - x. Is h smaller than q?
False
Let q = 5 - -225. Let m be 8/10 + 391/q. Does 4 = m?
False
Let a = 182 + -183.47. Let g = -2.6 - -4. Let o = g + a. Do o and 2 have different values?
True
Let w be ((-1)/4)/(243/4). Which is smaller: 0 or w?
w
Let t(k) = -k**2 - 3*k**2 + 12*k**2 - k**3 - 7 + 2*k**3 - 9*k. Let q be t(-9). Let u be 0/q*(-2)/(-4). Which is smaller: 1/16 or u?
u
Let w be 2*-1 + (-618)/(-2). Let r = 22428604/19 + -1180146. Let z = r - w. Which is bigger: z or 1?
1
Let y = -21 - -27. Suppose -x - 5*r + 9 = 0, 4*x - r = -0*r - y. Is -1/11 >= x?
True
Let j = 1187/24 + -153/8. Wh