-2/1405?
-2/1405
Suppose 13*h - 63545 + 20359 = 0. Which is bigger: 3321 or h?
h
Suppose 77*l = 85*l - 16. Suppose -3*y = 5*k - 50, 9*k - 36 = -l*y + 7*k. Is 17 <= y?
True
Let v(b) = -8*b - 1. Let l be v(-2). Suppose 3*h - 115 - 125 = 0. Suppose -4*i + h = 28. Is i less than or equal to l?
True
Let p(h) = 2*h**2 + 5*h + 11. Let m be p(0). Let a = -9 + 1. Let u be (a + m)/(2/(-4)). Is -7 greater than u?
False
Suppose 5*l - 1560 = -3*r, -4*l - 2*r + 6*r = -1280. Let x be (l/(-6))/((-18)/24). Suppose 11*p - 935 + 154 = 0. Is x at least as big as p?
False
Let o = 101 + -100. Suppose -3*j - 2*a = -o, 2*j = -2*j - a - 2. Let n = -659/3355 + 9/55. Which is bigger: j or n?
n
Suppose 3*p - 2*b = 93, -3*p + 2*b = -b - 93. Suppose -p = -2*d - 5*c + 4*c, 5*c - 51 = -2*d. Suppose h - d = t, -6*t = -t + 4*h + 47. Is t bigger than -10?
False
Let m = 1195 - 44218/37. Suppose 2*k = -1031 + 1033. Which is greater: m or k?
k
Let l = 1004 + -25094/25. Let j(r) = 16*r - 2016. Let f be j(126). Is l less than or equal to f?
False
Let a = -6547 + 3482. Let p be -5 - 3*a/1845. Which is bigger: -0.2 or p?
p
Let c = 4769 - 4622. Let x = -4.1 - -4. Which is smaller: x or c?
x
Let p be (12/14)/((-28)/588). Let h(t) = t**2 + 21*t + 43. Let v be h(p). Is -132/13 <= v?
False
Suppose -u + 2148 = 3*q, 0*u = 4*q + 2*u - 2866. Is q < 715?
False
Let j = 249 + -391. Let v = -140 - j. Which is bigger: v or -9?
v
Let w(r) = r**3 - 4*r**2 - 32*r + 6. Let k be w(8). Suppose k*u = 1295 - 245. Which is bigger: u or 174?
u
Let o = 14932 - 17051. Is o less than -2115?
True
Let m be 2/25*10/2. Let j = 233.64 - 219.64. Do m and j have different values?
True
Let x = -4298 + 4322. Which is bigger: x or 58?
58
Let o be (1 - 143/66) + 1. Which is smaller: -69 or o?
-69
Let q = -32.2 - -26.32. Let n = -2.12 + q. Is -2/7 smaller than n?
False
Let i(z) = -z**2 - 6*z + 19. Let v be i(-9). Let f be -2 - 0*(-4)/v. Let x = -5/8 - 47/104. Do f and x have the same value?
False
Let p be (135 - 2/(-1)) + (72 - 77). Suppose 29*j + p = 23*j. Is j less than or equal to -28?
False
Let s be (25/(-10))/5 - (5/(-2) - -3). Which is greater: 2/3995 or s?
2/3995
Let x be ((-8 - -4) + -23)/((-6)/36). Let h = x + -4699/29. Which is bigger: 1 or h?
1
Let j be 4/(-6) - 16/(-6). Let g = 264 + -246. Suppose 16*m - 68 = -g*m. Is j smaller than m?
False
Let a = 0.105 - -0.055. Let k = -0.95 - -0.11. Let s = k - a. Which is bigger: -1/10 or s?
-1/10
Let b be (-6734)/(-21)*30/20*-1. Which is greater: -0.06 or b?
-0.06
Let i be ((-6112)/(-1222))/(-1) - (7 - 2)*-1. Which is smaller: -1 or i?
-1
Suppose -69 = -3*d - 39. Suppose -3*h + 0*h + d = -2*x, -3*h = -12. Is x equal to -1/135?
False
Suppose 474*i + 234 = 456*i. Which is greater: -301/25 or i?
-301/25
Let b = 76 + -47. Suppose m = -5 + b. Let w be (3/4)/((-171)/m). Which is smaller: w or 1?
w
Let a = 3238/5 - 25919/40. Suppose -r - 15 = -4*r. Suppose r*n - 5*u = -2*u - 19, 2*u = 2*n + 10. Which is smaller: a or n?
n
Let z = -47269/534 + 33/178. Which is smaller: z or -88?
z
Let f = 194/53 + 10371/106. Let j(w) = w**3 + 9*w**2 - 11*w + 91. Let m be j(-10). Is f at least m?
True
Let d = -144 - -108. Let v = 64 + d. Let t = -31 + v. Is 7 smaller than t?
False
Let x be 22/10 + -8 + (-39)/(-5). Suppose x*v + 10 = -4*q - 38, -q - 13 = v. Is q smaller than -4/11?
True
Suppose 0 = -2*d - 4, 2*d - 3*d = m + 3. Is m less than or equal to 1/1730?
True
Let m = 50 - -143. Which is greater: m or 195?
195
Let p = -2/491 - -1555/20131. Let n(r) = 3*r**2 + 15*r + 54. Let j(q) = -q**2. Let o(z) = 2*j(z) + n(z). Let w be o(-9). Do p and w have the same value?
False
Let h(a) = -a**2 + 69*a + 2345. Let z be h(0). Is 2350 != z?
True
Let y(v) = -3*v - 46. Let c be y(-17). Let t(o) = -10 - 4 - 10*o**2 + o**3 - 8*o + 3 - c. Let p be t(11). Which is smaller: p or 1?
1
Suppose 18*y = 8*y + 40. Suppose y*m - 1 = 5*m. Let p be (-188)/120 + 4/10. Which is greater: m or p?
m
Let g = -441 + 217. Let s be 1/(g/(-1407)) + -6. Which is greater: 1 or s?
1
Suppose -16*r = -20*r + 16. Let y be 5 - 74*r/552*9. Suppose 0 = -g + 1. Do y and g have the same value?
False
Suppose -3*g + 1028 = -4*c, -18*c + 15*c + g - 776 = 0. Which is smaller: -255 or c?
c
Let t(s) = s**3 + 6*s**2 + 4*s - 3. Let f be t(-5). Let k be (2 + (-176)/55)/((-3)/(-10)). Let a be 1/k*(-736)/56. Which is smaller: f or a?
f
Let b = -6087 + 6074. Is -113/8 > b?
False
Suppose 3*g - 100 = -22*k + 20*k, -76 = -2*g + k. Let n be (-9)/((-63)/49) - g. Which is bigger: -26 or n?
-26
Let y(c) = -c**3 + 3*c**2 + 5*c - 11. Let x be y(3). Suppose -o + 0*o = -m + 4, -2*o - 8 = -x*m. Let d = 316/475 + -14/25. Which is bigger: d or m?
d
Let k be (-384)/(-16)*4/(-3). Let n = 3434 - 10396/3. Is n bigger than k?
True
Let x = 389 - 759. Let m = x - -739/2. Which is smaller: 0.236 or m?
m
Let p be (449856/(-18774) - -12) + 12. Which is smaller: p or -1?
-1
Let h be (-17)/5 + 3 + (-44)/(-260). Let b = -293 - -292. Is b greater than or equal to h?
False
Let v = 503 - 37223/74. Let z = -31/444 + v. Suppose 0 = 15*y - 13*y + 2. Which is smaller: y or z?
y
Let m be 2 + 3 - (48 - (-5 - -20)). Let y be 1/(1/(-1)*-1). Which is smaller: m or y?
m
Let n be ((-12)/(-27))/(24/108). Suppose 0 = n*i - 34 - 20. Are i and 28 unequal?
True
Suppose 2*g - 2*o = 950, 3*g - 485 - 942 = 5*o. Let r = g + -285. Is r less than 187?
False
Let z = -3895 + 3895. Which is smaller: -2/59143 or z?
-2/59143
Suppose -3*z + 5*g = 3, 8*g + 24 = -z + 23. Which is greater: -1697.6 or z?
z
Let r = -2 + 0. Let s = -547003/215940 + -3/14396. Which is bigger: s or r?
r
Let x = 35 - 34. Suppose -v = -4*d - 87, 37 + 58 = v - 2*d. Is x smaller than v?
True
Let r = 3.1 - -9.5. Let j = r - 7.5. Let p = j - 0.1. Are -2 and p non-equal?
True
Let p = -4094 + 4084.6. Which is bigger: p or -140?
p
Let a = -118 + 181. Let o = a - 53. Let d = -12 + o. Which is bigger: 8/11 or d?
8/11
Suppose 16*i + 222 = d + 17*i, i = d - 218. Let r = d - 223. Is 5 greater than r?
True
Let i(q) = -q**3 + 16*q**2 - 17*q + 26. Let u be i(15). Let y be 4*-14*(-2 - u - 3). Does 54 = y?
False
Let o be 3*(-184)/(-30) - (-64)/(-160). Let n = o - -261. Which is smaller: n or 278?
278
Let q = 255/1472 + -20928221/120826176. Is q less than or equal to 0?
False
Let j = 6 - 5. Let q be j + 1 + (-12)/30. Let r be (-2079)/8505 - (-4)/9. Which is bigger: r or q?
q
Let c be (-235)/94*4/(-10). Is c less than -5/794?
False
Let o be -1 + 2 + 18/(-1). Suppose 5*f + 380 = -7*f + 200. Is f less than or equal to o?
False
Let o = 19/10 - 3/2. Let f = 60 - 57. Suppose -3*s = -3*u - f, 4*u + 3*s - 4 = -8. Are o and u nonequal?
True
Let u(m) = -8*m + 36. Let i be u(2). Let q(j) = 2*j**2 - 33*j + 25. Let b be q(i). Is b greater than or equal to 165?
True
Let l be 0 - ((-957)/18 - (-5)/(-6)). Let b be (12 - 0)/((-18)/81). Let m = l + b. Which is smaller: m or -9?
-9
Let z be (-63936)/1620*(-6)/8. Which is smaller: 29 or z?
29
Suppose 2176 = -9*z + 6649. Let h = 451 - z. Are -45 and h unequal?
True
Let z = -12.1 - -11.296. Let k = -0.396 + z. Which is smaller: k or 3/5?
k
Let c be (2 - 40/30)*6. Let k be ((-27)/108)/(-2 + 9/c). Let r be 15/24*(-9)/5. Are r and k equal?
False
Suppose 6 + 0 = 3*p. Let t = -8/1039 - -17807/18702. Which is smaller: t or p?
t
Let m be (-4)/(-3 + -1) + 66. Suppose 320 = -5*x - 3*a, -x = -6*x + 3*a - 320. Let k = x + m. Which is bigger: 4 or k?
4
Suppose 198*f = 197*f - 4*p - 93, 4*f + 316 = -2*p. Which is bigger: f or -49?
-49
Let l be 5/(4 - (-492)/(-120)). Is -52 != l?
True
Suppose 4*d - 5*d - g = -114, -5*d + 3*g = -554. Suppose 0 = -5*n + 113 + d. Suppose 0 = 5*j - n - 45. Which is smaller: 19 or j?
j
Suppose -3*r + 2*b + 0*b + 21 = 0, -r + 4*b - 3 = 0. Suppose 4*y - r = -5*y. Which is smaller: y or -3/52?
-3/52
Let r be 1/(78/15 + -5). Let l(m) = -2*m**2 + 8*m + 3. Let s(u) = u**2 - 4*u - 2. Let n(y) = -4*l(y) - 9*s(y). Let p be n(r). Is 15/7 greater than p?
True
Let i = 93 + -12. Suppose i*h = 70*h + 363. Let t = 9 + 22. Which is greater: h or t?
h
Suppose c + 66 = 3*q - 41, 3*q - 2*c = 106. Let y be q/60 - (-827)/(-1395). Is y greater than -1?
True
Suppose 2*c - 214 = -2*u, -5*c = u - 48 - 63. Are 84 and u non-equal?
True
Suppose -3*u = 4*q - 37, 29*q - 25*q = 4*u + 16. Let x be 136/((-64)/8) + q. Is 4.5 > x?
True
Let i