 -244*i + 215*i - 15515. Which is greater: i or 0.3?
0.3
Suppose h - 2*k - 12 = 11, -3*h = 2*k - 37. Let z(s) = s - 71. Let d be z(15). Let l be h*2/d - 12/(-42). Which is smaller: -3/23 or l?
l
Let x = 20/257 - 2243/32125. Which is bigger: x or -33?
x
Let r(q) = 22*q + 17. Let v be r(4). Suppose -26*m + 41*m = -v. Is m smaller than -10?
False
Let n = -3.391 + -218.509. Let u = 222 + n. Let r = 1007 - 5018/5. Which is smaller: r or u?
u
Let t = 831648 + -832995.818. Let l = t + 1350. Let m = -0.118 - l. Which is smaller: m or -0.2?
m
Let j be ((-1530)/(-180))/(-1 + 510/(-8)). Do j and 1 have different values?
True
Let s be 21/(-39)*(-97)/(-12319). Which is greater: s or 1?
1
Let v = -9394 + 103332/11. Is v at most as big as 416?
True
Let f be 6*209/132*1788/(-1). Let b = f - -16867096/993. Which is greater: 1 or b?
1
Let s = 58081 - 640281/11. Do -127 and s have different values?
True
Let l = 36.14 - 36.54. Is l smaller than -70?
False
Let l be -2*-2*(-5)/(-10). Suppose -l*w + 62 = 58. Which is smaller: w or 1/4?
1/4
Let y = -218203/6 + 36289. Which is smaller: y or -77?
y
Let k(x) = x + 15. Let s(y) = 7*y + 63. Let i be s(-11). Let m be k(i). Is m at least as big as 2/353?
True
Let z(f) = f**3 - 20*f**2 + 38*f - 29. Let j be z(18). Suppose 5*g + 2*n - 13 = j, 3*n = 3*g - 12. Which is smaller: 54/17 or g?
54/17
Let o = 194605/13 + -14983. Let t = -5225 - -5225. Which is greater: o or t?
t
Let l be 69/2 - (-1)/2. Let s be 1/(4/1792*14). Is l less than or equal to s?
False
Let g be 60/4 - (8 + 719). Which is greater: g or 2?
2
Suppose 0 = 2*a + 3*r - 2*r + 18, -5*r - 10 = 0. Let x be -205*(18/10 + -2). Suppose -d = 49 - x. Is d >= a?
True
Suppose 5*g - 15 = 0, -4*q = -2*g - 0*g - 974. Let h be 36/(-54)*((-57)/6 + -1). Suppose -7 = h*p + q. Which is greater: -35 or p?
-35
Let j(c) = c**3 - 4*c**2 + c - 5. Let d be j(4). Let q be (6 - (d + 3)) + 20. Let k(a) = 2*a + 23. Let w be k(0). Is q less than w?
False
Let f = 4387.8 + -3564. Let c = f - 824. Are c and 190 nonequal?
True
Let j be 72/(-33) + 2 + 326/(-22). Let y(q) be the first derivative of q**4/4 + 2*q**3/3 - 11*q**2/2 + 6*q + 6. Let z be y(-5). Is z less than or equal to j?
False
Let d be -4 + 1 - (0 + (-4 - 2)). Suppose -8 - 25 = -d*m. Suppose -m*l = -3*l. Which is smaller: l or -1/11?
-1/11
Let d be (6/42)/((-8)/(-56)). Let t = -52899/58 + 912. Are t and d equal?
False
Let k = 165 - 169. Let h be (k - 42) + (-5 - -3). Are -2 and h equal?
False
Suppose -35*w - 29*w - 22*w = -2494. Which is bigger: 598/21 or w?
w
Let i = -914 + 918. Suppose a - 7 + 1 = 0. Suppose -3*q = -3*b + 3, a*q = 2*q - 3*b + 17. Is i < q?
False
Let a be (2 - (-152)/(-28))/(20/(-1470)). Let g = -262 + a. Is -14 bigger than g?
False
Let d(h) = h**3 - 6*h**2 - 15*h - 8. Suppose -16 = -15*u + 13*u. Let q be d(u). Which is smaller: 9/14 or q?
q
Let r(a) = -a**2 - 4*a - 2. Suppose -4*u - 2*w - 12 = 0, 3*u = -4*w + 3*w - 11. Let s be r(u). Which is bigger: -5 or s?
-5
Let y = 10 - -8. Let r(l) = l**2 - 2*l + 19. Let q(v) = -7*v**2 - 27*v + 4. Let m be q(-4). Let c be r(m). Which is smaller: c or y?
y
Suppose 0 = k - 4*j - 11, 3*k - j - 9 = 3*j. Which is smaller: 2/1273 or k?
k
Suppose 5*r - 6*k = -2*k + 268, 9 = 3*k. Let j(n) = -5*n - 3*n + n**2 + 42 - r. Let h be j(10). Which is greater: 1 or h?
h
Let f(r) = 3*r**3 - 6*r**2 - 3*r - 10. Let q be f(5). Let p be ((-36)/(-10))/(60/q). Suppose p*y + y = 0. Which is smaller: y or -2/61?
-2/61
Suppose 159*y + 10336 = 140*y. Is -544 greater than y?
False
Let a = -15 + 17. Suppose 7*y + 2 = a. Suppose y = -10*q - 4*q - 1484. Which is smaller: q or -1/4?
q
Suppose 362 = -323*n - 39*n. Is n at most as big as 50/1013?
True
Let p(g) = -2*g - 28. Suppose -5*x + 2*a = -4, 0*a + 4 = -2*a. Let i be p(x). Is -20 > i?
True
Let d = 3/353 + 17617/3883. Suppose -5*u = -u + 5*q - 40, -q - 6 = -2*u. Which is bigger: d or u?
u
Let g be 9 + 11 + (-14 - 1)/3. Suppose -5*o = -g*o - 220. Is -17 >= o?
True
Let j = 28950 - 29000. Is 18 greater than or equal to j?
True
Let z = 61/87 - 1/29. Let p = -318 + 1067. Let j = p + -819. Which is smaller: j or z?
j
Let d = 384 + -407. Let o(w) = -w**2 - 4*w + 72. Let n be o(-12). Is d at least n?
True
Suppose 6*k - 2*k = 0. Suppose 3*n - 9 + 3 = k. Let z = -607/5 + 122. Is n >= z?
True
Let v(t) = 2*t**3 + 9*t**2 - 36*t - 5. Let p be v(-7). Let a be 6/(-27) - (-11)/9. Suppose b + 3*o + 7 = 0, -p*o + o = b + a. Does b = 1?
False
Let a(n) = 1694*n + 2729. Let s be a(-3). Is -2353 greater than or equal to s?
True
Let d be ((1 + -4)/3 + -1)*440/110. Which is greater: -29 or d?
d
Let g(p) = 46*p + 12. Let m be g(6). Suppose -3*y - m = 219. Let v = y + 118. Is v <= -51?
True
Let k be 12*379/(-5306)*((-8157)/2)/3. Which is smaller: 1166 or k?
k
Let l = -79/3 - -389/15. Let o = 137/108 + -1/54. Which is smaller: l or o?
l
Suppose -4*n + 11*k = 13*k - 52, 0 = 2*n - 4*k - 36. Which is smaller: n or 29?
n
Let r(s) = -s**3 + 9*s**2 - 8*s + 17. Let i be r(10). Let v = i - -166. Are v and -5/7 non-equal?
True
Let t = -1020/11 - -185/2. Suppose 8*r - 14 = 18. Suppose 2*u + 6 = 2*f, -f + r*u = 2*u - 5. Which is bigger: t or f?
f
Let l(p) = -p**2 + 132*p - 3021. Let h be l(73). Which is smaller: h or 1287?
h
Suppose 0 = 5*d + 4*j - 191 + 77, 2*j = -4*d + 90. Suppose 0*m + v - 27 = -2*m, 3*m + 5*v = 51. Suppose y = d - m. Are y and 11 non-equal?
True
Let x be (2/3)/((-19)/855). Let q be (96/(-40))/(1 + 39/x). Which is bigger: q or 10?
10
Let t be 55*(-7)/(-14)*(-9)/207. Which is greater: 0 or t?
0
Let b = 3478 + -462575/133. Let c(j) = j + 1. Let x be c(-1). Which is bigger: b or x?
x
Suppose -f + 20 = -6*f. Suppose 40*l = 38*l + 38. Is f smaller than l?
True
Let a = -0.082 + -16.958. Let u = 0.2123 - 17.2123. Let h = u - a. Which is bigger: 2 or h?
2
Let q be (-3)/(-7 + 1) + 44/8. Suppose 3*j + q - 33 = 0. Let y = -10 - j. Is y greater than -20?
True
Suppose 5*o - 18139 = 3*x + 20160, -2*o + 63781 = -5*x. Is x < -12753?
False
Let w be 232/1218*(-5)/((-1060)/(-24)). Which is greater: -0.4 or w?
w
Suppose 1304*o = 1340*o - 225468. Is o < 6263?
False
Let z be (-594)/(-44) + (-3)/(-6). Let h(v) be the first derivative of -v**4/4 + 13*v**3/3 + 7*v**2 + 14*v - 1. Let u be h(z). Which is greater: u or -1?
u
Let s be (-3 + (-9659)/(-3198))*56/60. Is 1 bigger than s?
True
Let p be -3 - (-14768)/(-20) - 6. Let d = p - -747. Is -86/11 at least d?
False
Let d = 7 + -13. Let m be 4*(-2 + 16 + d). Is 2 smaller than m?
True
Let p = -372 - -374. Let z = -4.14 + 2.32. Is p less than z?
False
Let g be (-4)/28 + (-620)/(-28). Suppose -3*c + 20 = p - 5, -64 = -3*p + 2*c. Let k = p - g. Is k greater than or equal to 2/107?
False
Let a be 136/16 - (2 - 3/2). Suppose 2*p - 3*u + a = -3, u = 2*p + 13. Let m be p/(-13) - (-4 + (-15)/(-3)). Is -1 greater than m?
False
Let j = 2540 - 870. Is j bigger than 1670?
False
Let p = 42 + -40. Let m(g) = p*g**3 - 7*g**2 - 3*g**3 + 3*g - 4*g - 8. Let w be m(-7). Are -2/105 and w non-equal?
True
Suppose 6*p + 287 - 173 = 0. Let g be (-4)/p*72/2736. Is 1 less than or equal to g?
False
Let b(q) = 2*q + 1. Let g(d) = -d - 180. Let n(v) = 6*b(v) + g(v). Let k be n(0). Is 1 bigger than k?
True
Let m be (-1)/((-3)/(-4))*-3. Suppose -139 = 2*y + 495. Let p = 321 + y. Is m <= p?
True
Let k be 6/(13 - 795/(-6)). Which is smaller: -4 or k?
-4
Let y = -3 + 5. Suppose 2*b + y*j = -4, -4*j = -0*b - b - 7. Suppose 3*c + 4 = -8. Which is smaller: b or c?
c
Let o = -1652 - -1708. Which is smaller: -35 or o?
-35
Let m(l) = -l + 2. Let d be 2/(-3) - (-26)/(-6). Let q be m(d). Let w = 131.865 - 131.865. Is q < w?
False
Let j = 1.9888 + 0.0112. Is j at most as big as -97?
False
Let b be 4/11*2/(-4). Let p = -216258.9 + 216259. Which is bigger: b or p?
p
Let l = -35 + 21. Let c be (-4)/(-14) + 4/l. Let k be (0 + (-532)/136 + 16/4)*2. Which is smaller: c or k?
c
Suppose -b + 5 = -0. Suppose 1129 - 229 = -14*d - 36*d. Let v = d + b. Is v not equal to -11?
True
Let g(q) = 2*q + 8. Let w(s) = 2*s**3 - s**2 + s + 1. Let j be w(-1). Let x be g(j). Suppose -2*f + 1 - x = -t, 5 = 5*t + 4*f. Is -21/4 > t?
False
Let q be (4/2)/(-1 - -2). Let n be (-1 - -3)/(-1)*2. Let r be (1 - (0 - -1))/(6 + n). Which is greater: r or q?
q
Suppose -461*d - 9777 - 4051 = 6456. Are -128/3 and d nonequal?
True
S