 - -34. Which is greater: o or p?
p
Let g = -9536 - -10072. Is g at most as big as 535?
False
Suppose 55*u - 53*u + 68 = -0. Which is smaller: u or -36?
-36
Let q = 3037 - 3174. Which is smaller: q or -136?
q
Let i = 23459 - 23458. Which is bigger: i or -0.01222?
i
Let m = -3 + -2. Let r = 5 + m. Let x be 66 + -45 - 258/12. Which is smaller: r or x?
x
Let l be (154/(-63))/((-4)/3). Let z = 58.56 + -0.56. Let h = z + -57. Does h = l?
False
Suppose 348*k - 342*k = 3150. Is k smaller than 524?
False
Let x be (-1)/12 + (-35)/660. Suppose 49 = 4*n - 5*n. Let b = -50 - n. Which is smaller: b or x?
b
Let c = -742.3 - -742. Which is bigger: c or -11/27?
c
Let i be 8 + (2 - -1) - 372. Is i > 11?
False
Let o = 150 + 184. Let l = o + -34. Is l not equal to 301?
True
Let n be (-3651)/(-27) - ((-2431)/117 + 21). Which is smaller: n or 139?
n
Suppose 0 = -m - 5*j - 4813, -4*m - 3*j = -2*j + 19271. Is m less than or equal to -4819?
False
Let t = -7878 + 3253612/413. Suppose 2*x - 10 = 0, 0*j + 4*x - 25 = -5*j. Is j != t?
True
Suppose 79 + 182 = 9*n. Let x be 2/(-5*(-4)/280). Is x equal to n?
False
Let m be -5 + (3 - 55/(-20)) + (-3)/4. Which is smaller: -398 or m?
-398
Suppose -3*m + 1192 = 4*h, -3*h + 0*m + 894 = -m. Let q = h + -298. Which is smaller: q or -1/19?
-1/19
Suppose 9*z = -4*z - 195. Suppose -5*a - r + 6*r + 400 = 0, 4*a + 3*r - 292 = 0. Suppose 1 - a = 5*w. Is w equal to z?
True
Let n be 6 + (18 - 16) - 9. Let z = 5 + 0. Which is smaller: n or z?
n
Let g(h) = h**2 - 3*h + 5. Suppose 17*b - 20 - 184 = 0. Let q be g(b). Let j = -83 + q. Are 117/4 and j unequal?
True
Let u(o) = o**2 + 10*o - 2. Let j be u(2). Suppose -25*r + j*r - 3 = 0. Which is smaller: r or 1/39?
r
Let x be (8/7595)/(17 + 415/(-25)). Is 0 greater than or equal to x?
False
Suppose -40 = 9*f - 4*f. Let l(n) = n + 5. Suppose 3*v + 0*a + 24 = 5*a, -4*v - 18 = -2*a. Let i be l(v). Which is bigger: f or i?
i
Let n = 1067.69 - 1063. Let g = n - 7.09. Which is bigger: g or 0.1?
0.1
Let s be 250 + -1 - ((-2)/8)/(23/184). Which is bigger: 6 or s?
s
Let n = 331.06 - 331. Let u = 0.14 + n. Which is smaller: -100 or u?
-100
Let y(f) = -41*f + 2259. Let l be y(58). Let h be (-40)/((252/250)/(-3)). Let x = h + l. Which is bigger: -1 or x?
x
Let k be ((-15)/(-3))/(2/(-8)). Let d = k - -24. Suppose 32 = -6*c + 10*c. Is d bigger than c?
False
Let f = -8914/3 + 2972. Is -0.1673 <= f?
True
Let b be 3/39 + (-45778)/(-8554). Suppose 0 = 5*g + 8 + 2. Let l be -2 - (-6 + g + 1). Is b less than l?
False
Let a be 2066/(-4)*(-82)/(-41). Which is smaller: -1037 or a?
-1037
Let x be (70/(-4))/(2/(-4)). Let g(p) = -p**3 + 37*p**2 - 73*p + 104. Let y be g(x). Let s be (-748)/(-250) + -2 - 1. Is s greater than or equal to y?
True
Let z = -2713/7224 - -1/1806. Let v be 2/2*(-11 - -8). Let w be v/1 + 35/14. Is z bigger than w?
True
Let l be -1 - 4 - (5/(-30))/(36/30840). Is 138 less than or equal to l?
False
Let y(l) = -2*l**2 - 36*l - 34. Let s be y(-17). Suppose 3*u = -2*r + 2*u + 26, 24 = 2*r + 2*u. Let k be (-18)/(-315)*r/(-90). Which is smaller: k or s?
k
Suppose 0 = 3*a + 5*h + 6733, 5*h - 8954 = 2*a + 2*a. Let p = -302537/135 - a. Is -1 > p?
False
Suppose -84*w = 7928 + 31048. Suppose 480 = 2*z + 1408. Are w and z equal?
True
Let d = -23635/4424 + 285/56. Which is smaller: d or 1?
d
Let w(y) = 4*y + 23. Let g be w(-4). Suppose -g*t + 23 = 2. Suppose -v = 4*v + t*o - 13, 4*o - 8 = -2*v. Which is smaller: v or 2/3?
2/3
Let g(h) = 9*h + 29. Let s be g(4). Suppose 74*b - s*b + 18 = 0. Let a be (-4)/(-14)*(-18)/4. Which is smaller: a or b?
b
Let a(u) = 53*u + 31. Let i(b) = 21*b + 47*b - 16*b + 30. Let n(o) = 5*a(o) - 6*i(o). Let j be n(-2). Are 68 and j non-equal?
True
Suppose -3*z + 9*c = 8*c + 32, 20 = 4*c. Let i be (z/15)/((-7809)/38). Is 0 >= i?
False
Let n(h) = -h**2 - 49*h + 416. Let y be n(7). Which is smaller: 3/28 or y?
3/28
Let q be -35 - 3*(-21 - -15). Which is greater: -75 or q?
q
Let y = 134 - 133.724. Let x = y + -7.276. Is -2/51 <= x?
False
Let j(a) = a**3 + 20*a**2 - a - 20. Suppose 3*p = p + 24. Let q(d) = -d**3 + 10*d**2 + 23*d - 8. Let b be q(p). Let w be j(b). Is w > -2/211?
True
Let h = 47201 + -47202. Let g = -133823/5 - -27116. Let u = 350 - g. Which is greater: u or h?
h
Suppose -680 = 24*t + 4*t - 92. Which is smaller: t or 23?
t
Suppose -135*h - 216 = -141*h. Suppose 35 = t - h*t. Is t != 23/5?
True
Suppose 5*v - 4*u = -0*u - 7, 2*v - 5*u = -13. Suppose k - 3*t = -116, -t = 4*k - 9*k - 636. Let m be (2 - -1) + 388/k. Is m less than or equal to v?
True
Suppose 21*k + 5*z + 40 = 16*k, -22 = -k + 5*z. Let x be -1*28/(-2) - k. Which is smaller: x or 20?
x
Let z = 37040/3 - 4185640/339. Which is bigger: z or -1?
z
Suppose -37*l - 401 = -1215. Suppose 0*w = -5*w + 1470. Suppose -l*j = -29*j - w. Is j < -2?
True
Let s be 1*(-4347)/27*-8. Is 1288 at least as big as s?
True
Let u = -26.85 + 29.7. Let q = -15.15 - u. Which is smaller: -0.7 or q?
q
Let j = 28 - 22. Suppose j*t - 3 = t + 4*b, 4*t = 2*b. Let x = -156 - -1390/9. Is t < x?
False
Let w = -1952 - -134695/69. Suppose -16*k - 3 = -10*k + 3*f, f = -4*k + 1. Do w and k have the same value?
False
Let p = -0.3 - -12.3. Let g = 2.15 - 0.63. Let l = g - -1.48. Which is smaller: l or p?
l
Suppose -t + 0*h + 2*h = -28, 0 = 5*h - 25. Let w = t - 46. Let k be 8/6*(-1 + w). Is k less than -12?
False
Let s(o) = -112*o + 2339. Let a be s(45). Is a not equal to -2700?
True
Let d = -27636.13 - -27636. Let t(u) = -15*u**2 - 1. Let l be t(1). Is l >= d?
False
Suppose -c - 121 = o, -170*o + 173*o = -5*c - 597. Is -123 <= c?
True
Let z = 16693 + -6560344/393. Which is bigger: z or 1?
1
Let b = 1.909 - 2.706. Let d = 0.797 + b. Let k = -0.35 - 6.95. Which is greater: d or k?
d
Suppose 66*z - 210 = 81*z. Let s be (z - -12)*(-1)/73. Are s and 1/5 unequal?
True
Let h = -1.73 - -18.73. Suppose 9*f + 22 = 20*f. Is h > f?
True
Suppose -4*o + 2 = -2*l, -8 = -o - o. Let j = l + -19. Let r be (j/(-5))/(6/75 - 0). Which is greater: r or 29?
r
Suppose -3*z + 4 = -g, 22 = 3*z + 4*g + 8. Let b(o) = -36*o + 100*o - 36*o - 22 - 4*o**z - 32*o. Let r be b(-5). Which is greater: r or -103?
r
Suppose -3*r = 5*x - 2*r + 85, -x - 17 = -4*r. Let a be x/85 - 76/(-5). Suppose -12*j = -15*j + a. Is 1 != j?
True
Let g = -336 + 331. Let y = 349.86 - 350. Is g greater than y?
False
Let y = 8/64611 + -176883389/64611. Let w = y - -2699. Is -40 less than w?
True
Suppose -410*x = -545*x - 1485. Suppose 16 = -i + o, 0*o = -3*i - 4*o - 62. Let j = i + 6. Is j != x?
True
Let k(j) = 2*j**2 - 72*j + 593. Let z be k(23). Which is smaller: z or 42?
z
Let u(t) = -t + 29. Let v be u(16). Let w = -17 + v. Suppose 0 = -2*h - 129 + 127. Is h equal to w?
False
Let l(f) = -5*f**2 + 55*f - 50. Let z be l(10). Is z not equal to 31/29?
True
Let y(m) = m**2 + 10*m + 7. Let a be y(-9). Let x be (1/a*-3)/(5/10). Suppose 2*u = x*u - 9. Which is greater: 0.2 or u?
u
Let f = 8491 - 6712. Is 1777 at least as big as f?
False
Suppose 4*l + 5*q + 9194 = 0, -24 = 33*q - 37*q. Are l and -2305 unequal?
True
Let f = -0.19451 - -0.19451. Suppose -4*b - 4 = -8. Let m be (-1)/(b/(0 - 1)). Is m > f?
True
Let a(d) = -31*d**2 - 2*d - 25. Let y be a(3). Let i = -4029/13 - y. Is i >= -2?
True
Let q = -173/11 - -15732/1001. Let n = -196 - -1374/7. Which is greater: n or q?
n
Let d be (0 - (-8)/(-80))/(2/6). Let p be 17/7 + (-100)/(-28) + -4. Which is smaller: p or d?
d
Suppose 0 = -3*d + 15, 52*q = 48*q - d + 545. Let v = q + -98. Is v greater than 36?
True
Suppose -15 = -5*v, 2*w = -3*w + 4*v + 113. Let t be (30/w)/(-2) - 124/10. Which is smaller: t or -15?
-15
Let w = 328 + -288. Let i = -148 + w. Are -107 and i unequal?
True
Let l = -1867.9 + 2098. Let b = -230 + l. Which is smaller: -0.025 or b?
-0.025
Let s = 188 - 55834/297. Let l be (-3)/1188*384376/690. Let r = l + s. Do -2 and r have the same value?
False
Suppose -61*y + 11*y = -18*y - 96960. Which is smaller: 3028 or y?
3028
Let p = 4.7 - 4.7. Let s = p - 2. Let a be (10 - 71/7)/((-2)/4). Which is smaller: s or a?
s
Let q(a) = 4*a**2 - 87*a + 21. Let b be q(21). Which is smaller: -325/8 or b?
b
Let m = 13.83 - 2.53. Let w = m - 11.4. Are w and -8/25 nonequal?
True
Suppose -12 = -t - 2*a, -2*a = 3*a - 15. Let w(p) = -p**2 + 10*p - 15. Let i be w(t). Suppose 0 