75/29210378 + -2/30491. Which is smaller: c or 1?
c
Let y = -226257 + 226255. Let i = -0.6 - -1.55. Let w = -1 + i. Is w > y?
True
Let a = -124.1 - -125.1. Is -322 equal to a?
False
Let n = -24.73 + 24.7. Is 69/13 > n?
True
Suppose -15*g + 10*g - y = 10, 5*g + 25 = -4*y. Which is bigger: -4/213 or g?
-4/213
Suppose 5*m - 116 - 108 = 2*u, 4*m = 5*u + 186. Is 44 at least as big as m?
True
Let v = 1760 + -1761. Let i be 2 - 3/(150/232). Let m = i - -26/25. Is m at least v?
False
Suppose 3*i - 6685 + 123725 = 136*i. Which is smaller: 881 or i?
i
Suppose -9*g = -231 - 3. Let o = 239 - 108. Suppose 5*l + 3*n = o, -4*l + 5*n - 2*n + 94 = 0. Are l and g unequal?
True
Let b be (4/(-18) + 747/81)/(-1). Let m be -2 - (-3)/2 - b/6. Is 6/127 greater than m?
False
Let d = 0.4 + -0.2. Let x be (-2)/(-6) + ((-6495)/(-18))/5. Let m = 72 - x. Which is smaller: m or d?
m
Let o be 139/(-3) - 4/(-3). Let w = o - -49. Suppose -4*m = -y + w, 2*m = 4*y + 4*m + 2. Is -2 not equal to y?
True
Let w be ((-54)/(-42) + -3)*77. Does -135 = w?
False
Let m = -34 - 30. Let j = m + 195. Is 529/4 at most as big as j?
False
Let x = -0.0445 - 62.9555. Let r = x - -62. Which is smaller: r or 122?
r
Suppose -3*b = -2*n + 301 - 1894, 0 = -n + 2*b - 796. Let v be (-2)/2 + n/(-132). Let d = v - 2292/451. Is d at least -1?
True
Let w be (-145)/45 + 3 + 115*(-1)/(-105). Do 0 and w have different values?
True
Let m = 24.09 + -53.09. Which is bigger: -2/157 or m?
-2/157
Suppose 0 = 2*w - 5*l + 2*l - 135, 0 = 5*w - 3*l - 333. Let x = w + -87. Let m = x + 13. Is -1 at least as big as m?
True
Let r = -10.783 - -132.783. Which is smaller: 1.01 or r?
1.01
Let h = -7 - -7. Suppose 5 = -h*b + 5*b. Let g be (-7)/110 + (-128)/(-352). Is b equal to g?
False
Suppose -2*g - 2*l - l + 16 = 0, 0 = 4*g - 3*l - 14. Suppose -10 = m - 3*t + 6, 0 = g*m + 5*t. Let z(h) = 3*h + 10. Let a be z(m). Which is smaller: a or -1/2?
a
Let j = -133.6 - -151. Let v = j + -96.4. Is v != 0?
True
Let j be -2 - (-168)/225*20/12. Is -2 at most j?
True
Suppose -3*d + 6*d = 6621. Let c = d - 1474. Let z = 41779/57 - c. Is -1 != z?
True
Let n(i) = -i**3 + 6*i**2 - 4*i - 3. Let o be n(5). Let a be (o/6)/((-4)/3). Let w = -26737 - -26737. Which is greater: w or a?
w
Let t(d) = 12 - 19*d - 8 + 2*d**2 - 7. Let o be t(6). Which is bigger: 0 or o?
0
Let s = 1 - -3. Suppose 0 = -4*i - 25*i - i + 120. Suppose -5*w + 30 = i*o, -16 = -5*o + s*o + 3*w. Is 10 bigger than o?
False
Let x(r) = -3*r - 122. Suppose 5*k + b + 2 = -1, -3*k - 5*b - 15 = 0. Let m be x(k). Is -121 greater than or equal to m?
True
Suppose 5*u - b + 287 = 0, -5*u - 121*b + 125*b - 278 = 0. Let a(z) = -z**3 - 59*z**2 - 54*z + 200. Let y be a(u). Which is smaller: 5 or y?
y
Suppose -2*v = 2*v + 504. Let d be 6/15*(-1 - v). Suppose 4*o - 1284 = -1084. Is o smaller than d?
False
Let y = -6584/16435 + 2/3287. Is 0 > y?
True
Let g be 34/108 - ((-8)/8 - -2). Let h = 5/27 + g. Which is smaller: 41 or h?
h
Suppose -5*u + 4*a + 1116 = 0, 5*u - 4*a - 1104 = -3*a. Let x = 228 - u. Is x less than 6?
False
Let r be (3 - (-3 - -2)) + 1. Suppose 20 = 5*q + r. Let g be 6 + 0 - ((-12)/(-34))/(244/3111). Is q < g?
False
Suppose 5*m - a - 2294 = -17854, 3*m - 4*a + 9319 = 0. Is m greater than or equal to -3113?
True
Let j(q) = -5*q + 13. Let l be j(-18). Suppose 4*a = -2*f - 42, 5*f - 8*f - l = -4*a. Which is greater: f or -139/5?
-139/5
Let q(x) = -x**2 + 11. Let s be q(-3). Let t be (-17)/(170/60)*s/(-1338). Is -0.1 bigger than t?
False
Suppose -14*r + 6*r + 3128 = 0. Let j = 3077 - 2687. Which is greater: r or j?
r
Let q be (3/45)/(1/(-26)). Let j = -4885 - -4883. Is j > q?
False
Let d = -3052 - -3052. Which is greater: 20/179 or d?
20/179
Let s = -12470 + 12470.171. Which is smaller: s or -33?
-33
Let f(o) = -15*o + 33. Let t be f(4). Let a be (-18)/67*(-8 + (-198)/t). Which is greater: a or 0?
a
Let j(g) = 5*g**3 - 7*g**2 - 6 + 11*g - g - 6*g. Let u be j(3). Suppose -12*o - 5*d + 31 = -11*o, 0 = 4*o - 3*d - u. Which is bigger: 4 or o?
o
Let q be (-1 - (2 - 5))/((-3)/(-6)). Suppose 0 = y - q*y + 3*i, -2*y - 3*i = 5. Let j = 0.29 - 0.03. Is j at least as big as y?
True
Let x = -97.35 - -780.35. Are -4/7 and x unequal?
True
Let m be -8*(-5)/10 + 0/(-2). Suppose 2*l - 16 = p, 2*l - 3*p - 8 = m. Let i = l - -1. Is i != 8?
True
Let v be (2/14 - (-1149280)/89628) + -13. Which is smaller: v or 1?
v
Let s(g) = -66*g + 629. Let o be s(8). Is o at most as big as 81?
False
Suppose 113*p = -92887 - 91642. Which is greater: -1634 or p?
p
Let y be (-21)/1320165*6445 - (1/(-9) + 0). Do y and 0 have the same value?
False
Suppose 8*c - 126 = c. Suppose 5*p + 8 = c. Suppose -87 = p*y + 5. Is -46 equal to y?
True
Let j be 21/(-18) + 196/24 + -8. Let z = -1/288 - -445/3744. Which is greater: j or z?
z
Let y = 4810 - 4978. Is -163 greater than y?
True
Let a be (-712840)/(-1248) - (-1)/(-6). Let f = -571 + a. Let d = 101/156 + f. Which is smaller: d or 34/7?
d
Suppose 699*k = 696*k + 5*l + 7, 2*k = -3*l - 8. Suppose -12 = -3*x, -1388 = -4*a + 2*x - 4*x. Let s be k*(-339)/a - 1. Which is greater: 0 or s?
0
Let v(o) = o**2 + 6*o - 11. Let d(p) = -3*p**2 - 17*p + 32. Let q(h) = 6*d(h) + 17*v(h). Let a be q(-2). Is 4/35 less than or equal to a?
True
Let n = -592754/18095 + 1796/55. Let t = -3/94 - n. Let p = 0 + -1. Is p smaller than t?
True
Let s = 7107/11186 - -6/799. Let m = -28 - -32. Suppose -m*a - 6 = -5*v, a + 3 = 3*v - 2. Which is smaller: v or s?
s
Let r = 105 + -944/9. Let x = -1.3 - -0.4. Let l = -0.1 + x. Which is smaller: l or r?
l
Suppose -5*q + 2*q = -2*k + 8, 0 = -5*q + k - 18. Let j be 8/15 - q/(-20). Is 0.33 not equal to j?
True
Let q(c) = -2*c**3 - 6*c**2 + 8*c + 26. Let b be q(2). Let z be 4/6 + 15574/(-23352). Let g = 85605/73948 - z. Is b >= g?
True
Let z(n) = n**3 + 26*n**2 - 78*n + 145. Let o be z(-29). Which is smaller: o or -72?
o
Suppose -316*z + 8 = -317*z + 2*o, 0 = 5*z + o - 4. Is z less than -23/364?
False
Let n = -1.957 + -0.223. Let k = n - -2.215. Is k smaller than -1/4?
False
Let o = -17954 + 12565. Is o smaller than -5387?
True
Suppose 0 = -y + 14*n - 16*n + 26, 0 = 3*y + 5*n - 73. Let v = 837 - 1677/2. Is v equal to y?
False
Let u(k) = -k**3 + 23*k**2 - 6*k + 62. Let h be u(23). Let z be h/(-228)*(0 - 3). Is -7/5 >= z?
False
Let d = -3869 + 2863. Is d != -1006?
False
Suppose 0 = -5*t - m + 2, 1 = 4*t - 2*m - 9. Suppose 0 = -j + 3*k - 1, -k - 2 = -2*j + 1. Let s be j/(-58)*(4 - t). Which is smaller: s or 0?
s
Let f = -56/47 + 327/235. Which is bigger: -0.1284 or f?
f
Let c = -60 + 60.34. Let p = 3.64 - c. Let f = p - 1.3. Is f smaller than -3/4?
False
Let d be ((-112371)/(-49))/(51/119). Which is smaller: d or 5352?
d
Suppose 111467 + 96103 = 102*c. Are c and 2035 equal?
True
Suppose 4 = 4*b, 0 = -3*t + 30*b - 33*b + 57. Let i = t + -5. Which is bigger: i or 11?
i
Let a = -2977 - -2478. Is a greater than or equal to -502?
True
Let r = -16061/94 + 21/188. Let v = 66243/388 + r. Is v < -1?
False
Let p(q) = 20*q**2 - 78*q - 234. Let f be p(-3). Which is bigger: 171 or f?
f
Let l(i) = 2*i**2 + i - 2. Let w be l(3). Suppose 121*k + 62*k - 3595 + 1582 = 0. Is k at most w?
True
Let g = 568.01 + -575. Let b = -209 - -202. Let j = g - b. Is -1 > j?
False
Let m(t) = 22*t**2 - 367*t + 3254. Let a be m(9). Which is smaller: 1734 or a?
a
Suppose 80 = 10*y + 6*y. Suppose y*r = 3*t - 79, -5*r - t + 44 = 131. Which is smaller: r or -19?
-19
Let h = 12433 + -36455/3. Let g = -276 + h. Which is smaller: 6 or g?
g
Let c be (-8)/(-12)*150/(-8). Let i = 15745 - 15758. Which is smaller: c or i?
i
Let g(b) = -16*b**2 - 12*b + 36. Let o be g(13). Let l be 0 + 0 - (11312/o + 4). Which is smaller: -1 or l?
-1
Suppose 18 = 2*m + m. Let f(g) be the third derivative of 11*g**4/24 - 49*g**3/6 + g**2 + 61. Let q be f(m). Do q and 14 have the same value?
False
Suppose -287*w - 1860 = -293*w. Which is smaller: 313 or w?
w
Let l(d) = -190*d + 3231. Let x be l(17). Is 4/5841 at most x?
True
Suppose 2*w - q - 9 = 0, 0 = -4*w + 5*q + 13 + 26. Let s = -221/21 - -32/3. Do s and w have different values?
True
Let s = -7 + 1.4. Let h = s + 5.6. Let z = -34 - -52. Are h and z non-equal?
True
Let x = 0.8159 - 0.7778. Which is greater: 1 or x?
1
Let f(s) = 3*s - 8. Let q(a) = -a - 1. Let k(j) = -f(j) - 2*q(j). Le