
Suppose 633 = 19*c - 9912. Are 0 and c equal?
False
Let w = -0.3112 - -40.3112. Which is greater: w or 15?
w
Let c = 9678 + -8787623/908. Are c and 1 unequal?
True
Let i be 16/(-20)*(1 - 0)*61/(-183). Is i at least 6?
False
Suppose -45*i + 47*i - 2 = 0. Is i not equal to 3/1223?
True
Suppose k + 4*k - 50 = -5*z, 3*k = -2*z + 20. Suppose 2938*y - 2907*y - 310 = 0. Is z greater than y?
False
Suppose 14 = -13*g + 16*g + 5*p, 3*p - 2 = -g. Is g smaller than 59/9?
False
Let x be 3/(30/(-19))*4316/9711. Are x and 7 non-equal?
True
Suppose 0 = -71*f - 19*f - 65970. Which is smaller: f or 1?
f
Let j be (-3)/(-1)*(-289373)/(-1260) + 4. Let k = 693 - j. Which is smaller: k or 0?
0
Suppose -12*a = -15*a + 102. Let l = -2 + a. Is 28 at most l?
True
Suppose 2*t - 26 + 0 = -2*o, -4*t = -5*o - 70. Suppose -5*p = 20, 5*h - 5*p = -p + 381. Suppose -72*k = -h*k + 14. Does k = t?
False
Suppose 323 = -11*g - 1812 - 340. Which is smaller: g or -19?
g
Let b(i) = -2*i**2 - 14*i + 38. Let l be b(-9). Let h(j) = -1 + 3*j**2 - j - 4 - 8*j**2 + 4. Let k be h(l). Is k smaller than -23?
False
Let h be -1*(-8 + 0/(-1) + -1). Suppose -23*b - 160 = h*b. Is -25/7 at least b?
True
Let m(i) = i**3 - 6*i**2 + 8*i - 12. Let w be m(6). Suppose 0 = w*n - 4611 + 1047. Is n <= 100?
True
Let u(j) = -j**3 + 7*j**2 + 6*j - 62. Let b be u(7). Let f = -2 - -5. Suppose -f*o = 2*o + 100. Is o at least b?
True
Let v(u) = u**2 + 53*u - 418. Let m be v(7). Let p = -639/7 - -10961/119. Is p greater than m?
False
Let o(q) = 23*q - 8*q - 227 - 11*q - 7*q - 6*q. Let c be o(-30). Is c less than or equal to 47?
True
Let t be ((-256)/(-24))/16 - (-6)/(-9). Which is bigger: 23/18 or t?
23/18
Let f be 6/(-9)*(-3)/(-930). Let b = -259/310 - f. Let v = -84 + 84. Which is bigger: v or b?
v
Let f be 2/(-8) + (-104)/32*47. Let z = f - -137. Are z and -8 equal?
False
Let k = -15 - -13. Let b(t) = -14*t + 1. Let d be b(k). Let s = 32 - d. Is 5 not equal to s?
True
Suppose 2*v = 3*v - 108. Let s = -4215 + 4213. Let j be (s/v)/(5/20). Which is smaller: j or 0?
j
Let u = 38 + 6. Let y = -25 + u. Let j(i) = 2*i**3 + 14*i**2 + 8*i - 6. Let q be j(-6). Which is smaller: y or q?
q
Let z be (-4 + (-16)/(-6))*30/(-4). Let i(h) = -h**3 + 11*h**2 - 9*h - 9. Let k be i(z). Let a be 5*k*(-8)/(-20)*-1. Which is smaller: -7/3 or a?
-7/3
Let z be (-304)/24 - (-2)/(-6). Let u = 65 + -72. Are z and u unequal?
True
Let p(m) = -358*m + 4292. Let a be p(12). Which is bigger: a or -64/21?
-64/21
Let z be 88/(-2) - (2 - 0). Let w = z - -64. Let u be 10*(-15)/((-375)/10) - -12. Is u less than or equal to w?
True
Suppose -5*p = 28 + 42. Let j(a) = -a**2 + 5*a - 12. Suppose -7 = 6*v - 37. Let w be j(v). Which is bigger: p or w?
w
Let o = 3859 + -3846. Is o at least as big as 88/7?
True
Let w = -77 + 320. Suppose 8 = 2*h, 23*b - 5*h + 749 = 26*b. Is w equal to b?
True
Suppose 0 = -s - 2*s. Suppose s = -5*b - b + 18. Suppose 4*f - 3*t - 166 = 0, -5*t - 17 = b*f - 127. Which is smaller: f or 38?
38
Suppose 167*p = -161*p + 323*p - 4685. Is p at least -938?
True
Let h = -22.1 - -148.1. Let q = h + -146. Which is smaller: -1 or q?
q
Let s be (-2)/(-4) - 36/8. Let a(o) = o**3 + 28*o**2 + 133*o + 4. Let p be a(-6). Is p less than or equal to s?
False
Let m be (-2104 - -66)*(8/(-2))/(-4). Which is bigger: -1 or m?
-1
Let j be (6754/21)/22*14. Is j < 204?
False
Suppose 0 = k - 1 + 22. Suppose -5*u - 160 = 5*a, 0*a - 3*u - 201 = 6*a. Is k greater than a?
True
Let w = 34619 + -33639. Which is smaller: w or 981?
w
Suppose b + 45 = 4*p + 272, 4*b - 1006 = 2*p. Is 226 smaller than b?
True
Suppose -23 - 96 = 119*y. Which is smaller: -1/19804 or y?
y
Let b be (326340/(-24))/(-49)*(1 - 10/6). Do -2044/11 and b have different values?
True
Let i be ((-1008)/(-70))/24 - 51/15*-1. Is 235 > i?
True
Suppose -43*t - 144374 = 22939. Is -3895 bigger than t?
False
Let f be 51474/240 + (-19)/190. Do f and 214 have the same value?
False
Let t(i) = 19*i - 58. Let g be (-1)/((-4)/12 - 0). Let r be t(g). Do r and 1/358 have the same value?
False
Let c be ((-77)/21 - (-994)/294) + (-14704)/(-14). Which is smaller: 1043 or c?
1043
Let h(l) = -292*l - 1460. Let i be h(-5). Which is smaller: i or 27/238?
i
Let p = 1789 + 40. Suppose y + 2*b = -704, 5*b = -3*y - 283 - p. Let d be ((-10)/(-6) - -1)/(y/(-96)). Is 1 equal to d?
False
Suppose 4 = -5*a + a. Let q(g) = -13*g - 12. Let u be q(-21). Let d be (-4)/(1068/u) + 1. Do a and d have the same value?
False
Suppose -263*n = -284*n + 5523. Let b(c) = 29*c + 1. Let j be b(9). Which is smaller: n or j?
j
Let v = 456 - 454.002. Let b = -0.002 - v. Which is smaller: b or -76?
-76
Let m be (492/111)/4*3 + (-1 - 3). Is m smaller than 0?
True
Let w = 268 - 309. Let a = -358 - w. Which is greater: 1 or a?
1
Let y(z) = -z**2 - z - 1. Let d(g) = -5*g**2 + 5*g + 7. Let v(h) = -d(h) + 3*y(h). Suppose 6*r - 32 = -2. Let x be v(r). Which is smaller: -4 or x?
-4
Let r = -47475721/3240 - -14653. Let j = r + -9517/1620. Which is smaller: j or 2?
j
Suppose -49*c + 49*c + 674520 = -220*c. Which is bigger: -3064 or c?
-3064
Let n = -245 - -244.67. Let w = -0.27 + n. Which is smaller: 1 or w?
w
Let b be 7 - (-5 - (-25440)/(-56) - 2/(-7)). Which is smaller: -2 or b?
-2
Suppose 3*w - 27 = -93. Let f = w - -60. Suppose -4*g - 62 = -2*m, 4*m - 96 - 61 = -3*g. Which is greater: m or f?
f
Let g = 18.1 - -17.9. Let a = g + -35.82. Do a and 3/7 have different values?
True
Let y = 719 - 40. Suppose 11*i = 4*i - y. Are i and -98 equal?
False
Let m be 826/10 + (-32)/(-80). Suppose p - m = -v, -4*v + 253 = p - 79. Which is smaller: v or 85?
v
Let r = 3196 - 3175. Suppose 0 = -g - j - 85 - 107, 4 = 2*j. Let u be (g/(-4))/(r/(-42)). Which is bigger: u or -98?
u
Let t = 13 + -5. Let x = -13 + t. Let w be (18/(-210))/(1/x). Is -2/7 equal to w?
False
Let n = -2537 + 1574. Which is greater: -962 or n?
-962
Let j = 29 - -3. Suppose -g - 5*m - j = g, -m = 5*g + 80. Let l = g + 175/11. Which is smaller: 1 or l?
l
Suppose 558 = -j - 2*j. Let k = -168 - j. Which is bigger: 22 or k?
22
Suppose d + 31 = 5*z, 2*d - 3*z + 33 = -50. Is -606/13 smaller than d?
True
Let j(v) = -3*v**3 + 38*v**2 + 75*v + 20. Let q be j(-14). Is 14650 bigger than q?
False
Let k(w) = 4*w**3 - w + 1. Let l be k(1). Suppose 3*a + l*d - 4 = -a, -2*a + 6 = d. Suppose -42 = -a*o - 12. Is 33/7 greater than o?
False
Let x(s) = -s**3 + 2*s**2 + 6*s - 9. Let t be x(3). Suppose -524*w + 522*w + 54 = t. Is w at least as big as 27?
True
Let y(o) = -103*o - 97. Let c be y(-1). Let s = 2.1 + -3. Let v = s + 1. Is v <= c?
True
Let k = 0.02847 - 8.02847. Is k smaller than 423?
True
Suppose 5*t = -4*d + 39, -2*t + 5*d + 12 = 3*d. Suppose -t*i + 2201 = 437. Let f be (i/(-15))/(-7)*2. Is 6 > f?
True
Let c = -12396 + 24589. Suppose -36*p + c - 4669 = 0. Is p greater than 415/2?
True
Suppose u - 6 = -2*w - 2*u, 4*w + 3*u - 18 = 0. Let j be -1 + w/2 - 3. Let b be (-906)/604*2/(-18). Is b at most as big as j?
False
Let w = 1144.154 - -1.846. Which is smaller: 3 or w?
3
Let b be ((-21)/7)/(-2 - 420/(-208)). Let m be (1/(-3))/(4/b)*2. Which is smaller: m or 19?
19
Let n(a) = -3*a**2 + 7*a + 41. Let w be n(7). Which is bigger: w or 1?
1
Let k(i) be the third derivative of i**4/24 - 5*i**3/6 - i**2. Let c be k(6). Let q be (2 - c)/(2/42). Is 22 >= q?
True
Suppose -3*i + 5 - 53 = 4*x, -x = -2*i - 32. Let l be (-6 - 0)/(4/i*6). Suppose -12 + 31 = 5*w + 4*u, -w - l*u + 7 = 0. Is 4 less than w?
False
Let l = 1291203/11 + -117477. Are l and -95 nonequal?
True
Let y(v) = v**3 - 15*v**2 + 53*v - 31. Let x be y(10). Which is smaller: x or 80/313?
x
Let a be (-89)/5 - 3/15. Let v be (-8 + 0)/(22/60 + (-32)/(-240)). Which is bigger: a or v?
v
Suppose 0 = 213*b - 321*b + 218916. Is 2024 > b?
False
Let h = 9060 - 9058. Which is smaller: h or -1625?
-1625
Let g = 19/605 + -3067/104665. Which is smaller: g or -1?
-1
Suppose 25*o - 33*o = 24. Let k be 4 + 15/o + 35/7. Is k bigger than 68/15?
False
Suppose 5*s - 2*w = -9, -2*s - 2*w + 5*w - 8 = 0. Let g = 12/841 + -3879/95033. Let i = -663/565 + g. Is i equal to s?
False
Let w = 154487/14 + -11094. Which is smaller: w or -58?
w
Suppose 91 = -6*q - 5. Let v be (2 - q/(-2))*110/(-4). Suppose c - v = -4*c. Is 33 smaller than c?
False
Let d = 299 - 299. Suppose -16*o + 21*o + 195 = 