0/4 - ((-936)/(-1456))/(12/98). Which is smaller: 1/3372 or m?
m
Let i = -25.1 + 25. Let y = -0.073 - -8.773. Let v = 8.1 - y. Which is greater: v or i?
i
Let h(k) = -k**2 - 21*k - 42. Let r be h(-12). Suppose 0*g + r = 11*g. Let b(u) = u**3 + 4*u**2 + 5. Let d be b(-4). Which is bigger: g or d?
g
Let s = -47.34 + 48. Let v = 1009 + -905.9. Let y = v + -103. Is s not equal to y?
True
Let n(g) = -g**3 - 7*g**2 - 8*g - 11. Let c be n(-6). Let x = -1308 - -1284.4. Is c bigger than x?
True
Let a(b) = 33*b**3 + 1. Let i be a(-2). Let q = 254 + i. Are q and -6 non-equal?
True
Suppose 3*h - 39 - 6 = -b, -5*h = -4*b + 265. Let f be b/(-8)*30/9. Which is smaller: -23 or f?
f
Let m be 5*((-1248)/(-20) - 3). Suppose m = 21*o - 10*o. Which is bigger: 28 or o?
28
Let w = 3.9384 - 4.0384. Is w equal to 54/37?
False
Suppose -18433 = -32*f + 36607. Is f greater than or equal to 1722?
False
Let t(z) = -3*z**2 - 6*z. Let s be t(-5). Let k be 15/18 - (-4471)/(-102). Do s and k have different values?
True
Let m be (-440)/3510*-24 + -3. Which is greater: 0 or m?
m
Let z(g) = g**3 - 11*g**2 + 12*g + 18. Let m be z(10). Let u = m + 28. Is u smaller than 68?
True
Let g be 4*302*6/(-48). Let i be 3 + 7 + -2 + g. Are -144 and i equal?
False
Let b = -572683.91 + 572684. Suppose 0 = -m - 3*m - 32. Which is bigger: m or b?
b
Suppose 61*o = -64 + 369. Is o not equal to 253/40?
True
Let l(u) be the first derivative of -u**2/2 + u + 43. Let v be l(-3). Which is smaller: v or 9?
v
Suppose 2*v = -2*x + v + 461, -10 = -2*v. Suppose -7*o + 4 - x = 0. Let w be 6/4*o/(-72). Is 34 < w?
False
Let y = -103 - -102.97. Let g be 4/(-14) - 8/(-14). Which is smaller: g or y?
y
Let m = -36 - -26. Let x be (-1370)/(-175) - (-4)/m. Let f = 451/56 - x. Is 0 less than f?
True
Let v(q) = -79*q + 2576. Let k be v(36). Is -2/5 > k?
True
Suppose -2*o - 18 = -11*o. Let c be (o/(-4))/(-1)*(1 + 73). Do c and 35 have the same value?
False
Let j(k) = 15*k - 25. Let x be j(4). Let d be (-5 - x/15)/(4/6). Let z = 23/2 + -12. Which is smaller: d or z?
d
Let p = 361/6 + -719/12. Is p > 3415?
False
Suppose 15564*m - 15560*m + 12380 = 0. Is -3095 > m?
False
Let w = -71 - -69. Let v be ((-8)/5 - w) + (-15)/(-25). Suppose 4 = -3*s + v. Which is smaller: 3/41 or s?
s
Suppose -2*q + 4*q = 0, -4*i = -q - 28. Let g be (-17)/(-3) - (i + -6). Let n be (-5)/((-30)/18) - -2. Is n less than g?
False
Suppose -5*z = -5*w, 0*w + 3 = 2*z - w. Let d(n) = n - 1. Let k be d(z). Let q be (216/(-99))/((-4)/2). Which is bigger: k or q?
k
Suppose -d - 10 = -l, l - 7 = 3*d + 11. Let c be 2/(-1 + (-70)/(-50)). Which is smaller: c or l?
c
Let h be 1/4 + (-7)/12. Suppose 22 + 14 = 3*b. Let z be ((-26)/7 - b/(-4)) + 1. Is h equal to z?
False
Let w(a) be the first derivative of -a**4/4 - 10*a**3/3 - a**2 - 21*a - 49. Let d be w(-10). Which is greater: -5/21 or d?
-5/21
Suppose 18*w = 7*w - 33. Let g be w/12 - 11/4 - -18. Is 6 < g?
True
Let r(j) = j - 9. Let i(o) = -3. Let z(x) = -7*i(x) + 2*r(x). Let g be z(10). Let y = 70/3 - g. Which is smaller: -0.1 or y?
-0.1
Let d = 0.99 - 1. Let r = -785.356 - -786. Let z = r + -0.734. Which is greater: z or d?
d
Let j = -57 + 29. Let w = j + 27.4. Let i = 18/5 + -4. Which is smaller: w or i?
w
Let a be ((-2)/(-14))/(639650/2238425 - (-2)/(-7)). Which is smaller: 3198 or a?
a
Let c be (-20)/84*390/(-75). Is 1 at least as big as c?
False
Let o be ((-7)/(-1) - 1547/182)/((-3)/(-2)). Which is greater: 2/5515 or o?
2/5515
Let o = -379 - -320.8. Let w = o - -22.9. Which is greater: 1 or w?
1
Let g be 2/(3276/10014) - 3/(-21). Let n = g + -90/13. Is n bigger than 7/2?
False
Let k be -1*35*(-99)/45. Suppose 17 = -4*x + k. Let w be x/12 + (-2)/8. Which is greater: 9/5 or w?
9/5
Let m be ((-24)/64)/(-3 - (189/6)/(-7)). Let i = -69 - -31. Let d = 20 + i. Is m bigger than d?
True
Let z = -589/3978 - -7/117. Let n(x) = -2*x**2 + 10*x - 2. Let o be n(2). Suppose -22*m + o = 32. Does m = z?
False
Let t be (6/(-4))/((-693)/(-672)). Let r(f) = -f**2 + 3*f - 2. Let g be (1 + 0/2)*4/4. Let i be r(g). Is t != i?
True
Let t(u) = -227*u**2 + 21*u + 401. Let y be t(-9). Is -18176 bigger than y?
False
Let p be 62/(-6)*(-12)/(-20). Suppose -9*q + 4 = 22. Let x be (-255)/34 + (3/(-6) - q). Is p at most x?
True
Let s be ((-210)/(-8))/(100257/15272) - 4. Are 0 and s non-equal?
True
Let s = -4032.81 - -4032. Let j = 2.38 - 1.67. Let t = j + s. Which is smaller: 0.08 or t?
t
Let z = 3/89279 - 991039/266944210. Is 0 greater than z?
True
Let k(p) = -p - 34. Let y be k(-28). Let m be 146/(-30) - y/(-45). Let w be (-5)/(-34)*-4*m/(-100). Is w greater than or equal to 0?
False
Let x = 19431133/173 + -112319. Is x equal to -1?
False
Let m be (14/98)/(198/(-30030))*((-56)/(-5))/(-2). Suppose 4*v - 49 - 439 = 0. Is m greater than or equal to v?
False
Let g = -44 - -1. Let k = -54 - g. Let z = 11.3 + k. Which is smaller: z or 4?
z
Suppose -5*z - 25*z = -14130. Suppose 4*b - z - 1117 = 4*l, l = -4*b + 1598. Does b = 399?
True
Let x be 10 - 1/(1 - 2). Let o = 1803 + -1786. Is o at most as big as x?
False
Suppose -49*b + 51*b - 8 = 0. Let f(n) = -23*n**2 - 2*n - 1. Let z be f(-1). Is b <= z?
False
Let q(o) = 5*o**2 + 119*o + 1233. Let t be q(-9). Is t > 2267/4?
True
Suppose -26*q + 28*q + 940 = 2*d, -2*d + q = -938. Which is smaller: d or 462?
462
Let i(d) = 3*d - 6. Let g be i(-6). Let q = -395 + 701. Suppose -29*x - q - 361 = 0. Which is bigger: x or g?
x
Let k(o) = 12*o + 15. Let v(y) = 7*y + 7. Let a(c) = -4*k(c) + 7*v(c). Let s be a(12). Is s greater than -35?
True
Let y = 3 - 10. Let o be (-4)/(-6)*3/y. Let p be ((-48600)/1520 - -32)/((2/(-1))/24). Is o != p?
True
Let t(k) = 2*k**2 - k + 1. Let o be t(2). Suppose -2*w + 75 = 3*j - o*w, -5*j + 4*w + 125 = 0. Suppose -m - j = -3. Does -21 = m?
False
Suppose 2*s - 504 = -6*s. Suppose -4*v - 186 = -4*o + 74, 0 = -4*v - 4. Which is bigger: o or s?
o
Suppose -12*y - w + 16055 = 0, -5*y + 2*w + 5570 = -1122. Are 1338 and y nonequal?
False
Let u = -19881 + 834961/42. Let l = u - -9/14. Which is greater: 0.133 or l?
0.133
Let m = 70 - 105. Let q be ((-18)/15)/(868/m). Is q > -1?
True
Suppose 5259 = -5*j + v - 5678, 0 = 4*j - 5*v + 8758. Are -2187 and j unequal?
False
Suppose -148*a - 71*a + 8954 = 194. Is 20 < a?
True
Let h = -550 - -555. Suppose -i = 2*i - c - 43, h*c = -4*i + 51. Is 38/3 > i?
False
Let d be ((64/(-28))/(-8))/(51/(-119)). Which is smaller: d or 0.1?
d
Let s be -2 - -6 - (-10)/(-2). Let q be 2 - -1 - (0 + s/(-1)). Let m be -1 - (q/(-9) + 112/72). Is m at most 0.3?
True
Suppose 5*g - 2*q = 16, 0 = 4*g + 5*q - 3*q - 2. Let y be (-3)/(-39)*(0 + g). Which is smaller: y or -1?
-1
Let p = 0.6837 + -0.1537. Let i = 0.21 - -0.02. Let x = i - p. Which is greater: -11 or x?
x
Let z = 139493/23680 + -1256/185. Is z smaller than -2?
False
Let b(y) = 5*y**2 - 1. Let r be b(-1). Let d be (-45 - (-6556)/132)/1. Which is smaller: d or r?
r
Suppose 5*m + 4*k + 8 = 0, -5*m + 4 = 3*k - 5*k. Suppose 4*g = -m*g + 160. Let v(b) = -44*b - 487. Let q be v(-12). Which is smaller: g or q?
g
Let r = -77711.033 + 77640. Let v = 71 + r. Let h = v - -0.833. Which is bigger: h or 0?
h
Let y(c) = -c**2 + 5*c + 4. Let s be y(5). Let h = s + -2. Suppose n - 5 = -5*a, 2*n - 52 = 5*a - 57. Is h greater than a?
True
Suppose 75*f - 3500 = -47*f + 57866. Which is smaller: f or 1007/2?
f
Let t be (-1 - -2)*(-8)/(-2). Suppose -3*k + 3*o = -o - 50, -58 = -t*k + o. Let l = 16.5 + -15.5. Which is smaller: l or k?
l
Suppose 20*p + 49284 = -3*j, 24073 = -5*j + 4*p - 58291. Is j >= -16468?
True
Suppose 0 = -4*g - p + 1 - 2, 4*p + 4 = 5*g. Is g at most as big as 2/12431?
True
Let z = 1288 + -1059. Which is greater: z or 224?
z
Let k = -10234/277065 + 18/655. Let i = -1784/9729 - k. Which is bigger: 1/6 or i?
1/6
Let o be -3202*3/(-2856) + 14/((-392)/4). Is o > 2?
True
Suppose -18 = 3*l + 2*a - 7*a, 4*l + 24 = -5*a. Let o be (1 + -4)/(l/(-28)*-1). Let f be 4/o - 300/805. Which is smaller: f or -0.1?
-0.1
Suppose 0 = -250*o - 831767 - 1092733. Are o and -7697 non-equal?
True
Let c(j) = -j**3 + 8*j**2 - 6*j + 5. Let u be c(5). Suppose -5*o + 105 = -5*q - 175, -2*q - 164 = -3*o. Which is bigger: u or o?
o
Let i(f) = f**3 + 3*f**2 + 4. Let q be i(-3). Suppose -51 = -k + q*k. Let g = -9578/5 - -19001/10. Is k bigger than