Which is bigger: j or c?
j
Let l(n) = 2*n - 21. Let w(p) = 2. Let g(r) = 3*l(r) + 6*w(r). Let t be g(8). Which is smaller: 10 or t?
t
Let s = 285 - 529. Let z = s - -266.9. Let b = 23 - z. Do -2 and b have the same value?
False
Let x(q) = 2*q + 1. Let z be x(2). Let g be (-19 - 26)*(-1)/3. Suppose 42 = -2*t - 4*i, -g = 5*i - z. Which is greater: -18 or t?
t
Let o(h) = -h**2 + 10*h + 3. Let k(q) = -q**3 - 3*q**2 - 3*q + 1. Let y be k(-3). Let g be o(y). Let s be (-1)/((-345)/114 + g). Are 38 and s equal?
True
Let y = -263 - -313. Let m = y - 49.68. Which is smaller: m or 2?
m
Suppose b = -2*s + 11, -3*s + 49 = -b - 4*b. Let a be (s/24 + 109/6)/2. Which is bigger: a or 8?
a
Let k = -31 + 34. Let y(p) = 3*p**2 + 22*p. Let i(q) = -q**3 - 3*q**2 + 6*q + 1. Let n be i(-4). Let g be y(n). Is g < k?
True
Let m = 0.274 + 30.026. Let r = 28.3 - m. Is -2/361 not equal to r?
True
Let h(x) = -4*x + 7. Let a be h(2). Let z be a + -20 + -4 + 0. Let g be z/(-15)*4/10. Is 1 less than g?
False
Let i be ((-1)/2)/((-14)/4*176 - -2). Which is bigger: i or 0?
i
Let t = 8371.1 - 8792. Let r = 421 + t. Which is greater: 298 or r?
298
Suppose -7*g - 10 = -12*g. Suppose -g*i + 51 = -49. Let f = i + -37. Are f and 14 equal?
False
Let g(k) = 51*k + 131 - 22*k - 20*k - 12*k. Let p be g(29). Let s = 2.9 + -3. Which is bigger: p or s?
p
Let g = -2865/16 - -179. Let t = 277/11984 - -39/214. Let i = g + t. Is i less than or equal to 6?
True
Let p = 1/1140 + -71/2964. Let d = -175 + 175. Is p equal to d?
False
Let i(o) = -974*o + 2833. Let n be i(3). Which is bigger: n or -20?
-20
Let c(j) = 2*j - 3. Let p(r) = -42*r + 205. Let v(m) = 4*c(m) + p(m). Let a be v(14). Which is bigger: -284 or a?
a
Suppose -10*f - 2852 = 13*f. Suppose 54 + 1166 = -10*z. Are f and z nonequal?
True
Let d = -842 - -866.68. Let t = 24.6 - d. Is 2 >= t?
True
Let j = -1.9 + 2.8. Suppose -5*g = 4*c - 49, 4*g = 6*c - 2*c - 76. Let d be (c/9 - 2)/(6/9). Which is bigger: d or j?
j
Let m = 3.77 + -171.77. Let s = 117 + m. Let y = 50.9 + s. Does -8 = y?
False
Let u = 39707/93 + -2954/31. Let w = u - 340. Let j be (2 - 1)*-3*3. Which is smaller: j or w?
j
Let r = -1876/11 - -13187/77. Which is greater: r or -0.029?
r
Let p = -38 - -36.6. Let k = -4.65 - -0.25. Let t = k - p. Is -6/11 less than t?
False
Let x be 4 - (0 - (-357 + 6)). Let r = -625 - x. Is -278 < r?
False
Let b = -0.35886 + -135.11314. Let k = b - -141.2. Let s = -0.028 + k. Is s less than 2/9?
False
Suppose 4*i = 210 - 294. Let w be (-18)/(-63)*i/(-6). Are 2/193 and w equal?
False
Suppose -7*w + 14*w - 7 = 0. Let n = 1/1764 + 101/44100. Does w = n?
False
Let d = 7477 - 8079. Is -1 < d?
False
Let w(t) = t**2 - 2*t - 7. Let y be w(2). Let s(v) = -v**3 - 2*v**2 + 56*v - 7. Let g be s(y). Is g > -153?
False
Let q be 1485/300 - (-1 - 14/(-8)). Let f = 0.20047 + -5.20047. Is q less than or equal to f?
False
Let m = -6.66 - -414.86. Let r = -408 + m. Which is greater: r or 81?
81
Let i = -301 - -304. Let p be (7 - i) + 227/(-57). Which is greater: p or -1/2?
p
Let o be (-4)/3*1/40 - 0. Suppose -16*u = -14*u. Suppose -3*b - 4*p - 12 = u, 6*p = -4*b + 4*p - 6. Is b less than o?
False
Let g be 12/4 + -1 + 3. Let y(i) = -i + 3. Let w be y(g). Which is greater: -62/19 or w?
w
Let y be (-143)/52 + 3*(-2)/(-8). Suppose -4 + 15 = o. Let t be ((-12)/o)/3 + 28/(-154). Which is smaller: t or y?
y
Suppose -i - 1 = -6, -2*x + 23 = 3*i. Suppose -c + 0*b + 42 = -4*b, -b - x = 0. Is c at least 18?
True
Let n(z) = 23*z**2 + z - 2. Let h be n(-2). Let v = h + -100. Let p be v/27 + 8/12. Are -0.8 and p non-equal?
True
Suppose -5*r = r + r. Suppose r = -3*c + 9*c + 6. Which is bigger: -2 or c?
c
Suppose -18*z = -131 + 23. Let f be (314743/13420)/31 - z/8. Is 0.1 greater than f?
True
Let s = -2155 + 916. Let i be s/(-310) + -6 + 4 + -2. Which is smaller: i or -1?
-1
Suppose 0 = -6*p + 9*p + 6. Let x be (-17)/p - ((-26)/(-4))/(-13). Suppose 45 = x*s - 6*s. Which is smaller: 1 or s?
1
Let y be (-7 + 10/2)*(-8 + (-76)/(-8)). Which is smaller: -130/53 or y?
y
Let x = -164008/35 - -4686. Which is bigger: -6 or x?
x
Let m be 16/10 - 8/4. Let x = 1/10 - m. Suppose 0 = -22*f - 18*f - 16*f. Which is greater: x or f?
x
Let c = 54416323/2274 + -143581/6. Is c greater than 0?
False
Let n = -64 - -27. Let k = n - -47. Let d be (0/k)/(3 + -2). Which is smaller: d or -2/55?
-2/55
Let a = 6.8481 - 4.76173. Let z = a - -0.00463. Let v = -0.091 + z. Do v and 2.2 have the same value?
False
Let x be 9 - 2708/68 - 16/(-8). Which is smaller: x or -28?
x
Let q(g) = -5*g**3 + 23*g**2 - 16*g + 10. Let i be q(4). Let m be ((i/8)/(-1))/(259/(-252)). Which is smaller: m or -2?
-2
Let y = 179/4 + -45. Let p be (-4)/(-4)*-1 - 567/(-588). Which is smaller: p or y?
y
Let t = -16 + 78/5. Suppose 8 + 12 = 5*p. Suppose 5*r = 3*b + 29, 5*r - 34 = p*b - 7. Are t and r unequal?
True
Suppose 2*i = 2*c + 5*i - 22, -5*c + 105 = -5*i. Suppose 142*b - 139*b + a - 31 = 0, b - c = a. Let d be (2/4)/(1/30). Is b greater than or equal to d?
False
Let g = -0.1 - -0.1. Let z = 25812/13 - 25811/13. Does g = z?
False
Let g = -0.274 + 0.022. Let a = 0.162 + g. Which is bigger: -0.4 or a?
a
Suppose -43*z + 40*z = 0. Suppose z = -v + q - 78, -10 - 10 = -5*q. Which is smaller: v or -75?
-75
Suppose 0 = -s + 4*j - 26, 255*s = 250*s - 2*j - 42. Which is bigger: -603/68 or s?
-603/68
Let q = -196.9 - -197.9. Which is smaller: -137 or q?
-137
Let h(a) = -7*a + 11. Let r(t) = t**3 + 11*t**2 - 9*t - 6. Let s be r(-12). Let u = s - -46. Let c be h(u). Is c > -15?
False
Suppose -4 = -2*u, 0 = 3*a + 3*u - 8*u - 5. Is 17 less than a?
False
Let r be ((-189)/3885)/(33/55). Is 0.16 at least r?
True
Let d be -12*1*(-1)/3*3. Suppose d = -3*o + 4*o - 4*s, 4*s = -12. Let r = 880 - 51922/59. Is o equal to r?
False
Let h = 783 - 8614/11. Let a = 13 + -17. Let d = 3 + a. Which is bigger: h or d?
h
Suppose 4*p + 9 = 29, -j = 2*p - 22. Suppose 109*t - 110*t = -j. Which is bigger: -2 or t?
t
Let g = 37 - 68. Let l(a) = -a**3 + 19*a**2 - 86*a - 22. Let j be l(11). Which is smaller: j or g?
g
Let d = 125 - 107. Let n be (2/6)/((-3)/d). Let p be 4*(n + 3) - (-134)/(-34). Is -1 less than or equal to p?
True
Let c(v) = -v**3 + 18*v**2 + 2*v + 8. Let d be c(18). Let x = d + -62. Let r be (4/(-8))/(1/x). Which is greater: r or 8?
r
Let n(v) = 320*v + 67521. Let g be n(-211). Let w = -0.378 - 2.532. Which is smaller: w or g?
w
Suppose 14*y - 9*y - 5 = 0. Let x be ((-68)/208)/((-215)/(-870)). Let f = -35/26 - x. Which is smaller: f or y?
f
Let f = 174 - 17. Let p(t) = -385*t - 3694. Let g be p(-10). Which is greater: g or f?
f
Let u(g) = -g**3 + 93*g**2 + 97*g - 346. Let y be u(94). Which is smaller: 3/13 or y?
y
Let k = 19359 + -24024. Is k at least as big as -4661?
False
Let m(c) = 85*c**2 - 2*c - 4. Let f be m(-2). Let p = -23121/68 + f. Let g = p + -107/1972. Is g <= 0?
True
Let m = -435613/22 - -19801. Is 14 <= m?
False
Let u = 18 - 13. Let y = 607 + -597. Suppose 2*g + 26 = 4*p, g = u*p - 18 - y. Is 1 equal to g?
False
Let x = 0.0422 + -0.0979. Let g = 140.0557 + x. Is g bigger than -1/3?
True
Let q = -24260 + 24260.12. Is q equal to -191?
False
Let r = 20 + -20.9. Let l = 0.46 + r. Let y = -23.44 - l. Which is smaller: y or 0.1?
y
Let u be (41/(-2))/((-27)/(-18) + -1). Suppose t + 2*h = -9, -4*h - 23 + 3 = 0. Is t less than u?
False
Suppose 5*o + 0*k = -5*k + 5, -2*o + 5*k + 23 = 0. Suppose 0 = -2*u - u - 5*i - 40, -u - 25 = o*i. Let w be (6/3)/10 + (-49)/u. Are 7 and w nonequal?
True
Let f = 0.49 + -73.49. Let w = f - -66. Are -1/12 and w unequal?
True
Let m = 124 - 101. Suppose -m = -5*f + 17. Is 17 bigger than f?
True
Let y be ((-1870)/1320)/((3/3)/8). Suppose -s = 4*s + 60. Which is smaller: s or y?
s
Suppose -z + 33 = -4*f, -89 + 17 = -3*z + 3*f. Suppose 2*l - 12 = -u - 2*l, 5*l = u - z. Suppose -n + 54 = 2*n. Is n >= u?
True
Let n(a) = -12*a - 95. Let k be n(-8). Let r = -12/359861 - 5412668749/16553606. Let w = r - -327. Which is greater: w or k?
k
Let z be (-47033303484)/(-68199)*(-3)/63. Let f = 5877414/179 + z. Let l = f + -1/889. Which is bigger: 1 or l?
1
Let j = 1334/18165 - 16/173. Is 1 != j?
True
Let p(t) = -6*t**2 + 12*t + 3. Let l be p(-4). Let b = -140 - l. Which is smaller: 3/104 or b?
3/104
Let c = 23800.107 + -23800. Which is