s + 66. Is 30/13 != c?
True
Let p(x) = x**3 - 4*x**2 + x + 4. Let q be p(3). Let o be 18*6/24*q. Is o greater than or equal to 7?
False
Let q = 16.342 + 676.858. Which is smaller: q or 0?
0
Let w = 545 - 538. Which is greater: w or 36?
36
Let g(j) = -3*j**2 + 34*j - 96. Let b be g(10). Is b at most -46?
True
Let y(k) = -k**2 - 16*k + 36. Let m be y(-18). Let v = -21 - m. Suppose -d = d + 40. Which is smaller: d or v?
v
Suppose 209 = g + 3*l - 33, -4*g = -l - 1020. Let d be (-10 - 780/(-96))*-136. Which is smaller: g or d?
g
Let a(b) = -b**3 - 116*b**2 + 18*b + 2155. Let n be a(-116). Which is bigger: -193 or n?
n
Suppose 72*m + 54*m = 217*m - 62*m. Is m bigger than 27/1166?
False
Let q = -17796 - -10654. Is -7143 not equal to q?
True
Suppose -150 = 3*w - 0*w. Let g(u) = -8*u - 205. Let l be g(-9). Let t = w - l. Do 82 and t have different values?
True
Suppose 20*f + 46957 = -44623. Is -4578 less than f?
False
Let c be 2 - 1*(0 + -3). Suppose 3*w + 5 = 5*y - 2*w, -c*y + 3*w = -1. Let x = 2193 + -15350/7. Which is smaller: y or x?
y
Suppose -5*g + 2 = -3*g. Suppose -b + 787 = 699. Which is greater: g or b?
b
Let l = 5 + -7. Suppose 0 = 2*s - 2*x - 6, -5*s = -x - 2*x - 5. Let h be s/(-12) - ((-7)/2 + 3). Which is smaller: l or h?
l
Let g = 1140 + -1101. Let a be 78/2 - (4 - (-5)/(-1)). Which is smaller: a or g?
g
Let o be ((-2)/8)/(8 - (-582)/(-72)). Suppose -3*n - 5 = 5*a - 35, o*n + a - 18 = 0. Do 14 and n have the same value?
False
Let j(x) = 9*x**3 + 6*x**2 - x - 5. Let r(t) = 8*t**3 + 5*t**2 - 4. Let k(o) = -3*j(o) + 4*r(o). Let a be k(-2). Let n = -38 - a. Is -1/58 != n?
True
Let w = -23837 + 23987. Is 45 smaller than w?
True
Suppose 0 = -3*n + 2*g + 1, 5*n + 14 = n - 5*g. Which is smaller: n or -1/4948?
n
Let s = -1460 + 2051. Let b = -333 + s. Is 775/3 at least b?
True
Let y be 1 - (-229 + 1*-2). Let g = -46354 - -46585. Is g less than or equal to y?
True
Suppose 9*g = 68 - 23. Suppose 0 = -3*y + p + 17, -5*p + 0 = y + g. Is 4 less than or equal to y?
True
Let w be -2 + (-70 - (3 + -2)). Let z = w + 89. Suppose -o = -s + 3*s - z, 0 = -5*o - s + 44. Is 3 != o?
True
Let l(n) = -69*n + 1002. Let a be l(24). Which is greater: a or -655?
a
Suppose -8*v - 49 = -v. Let p be 3 + v/(70/25). Is 0.064 equal to p?
False
Let y be 1720/(-170) - -10 - 15/17. Let o = -6648/19 + 350. Is o less than y?
False
Suppose 0*z - 2*z = 32. Let y = 16 - 30. Which is bigger: z or y?
y
Let r be 8/(-28) + (2500/(-315) - 0). Let h = r - -62/9. Which is bigger: h or -2/5?
-2/5
Suppose 0 = -5*n + 4*l - 2 + 1, 2*l + 2 = 0. Let k = -55085240/99 + 556411. Let t = k + 60/11. Is t not equal to n?
True
Let v = 21802 - 21985. Which is bigger: 3 or v?
3
Let z = 6.7 - 6.6. Let c be 3 + -3 + 1 - 4. Let h be ((-15)/(-190))/c*(1 - 7). Is h less than z?
False
Suppose -5*u + 11 = 3*p, -4*p + 36 = -u - 17. Let r = -34 + 36. Which is bigger: p or r?
p
Let r be 58/3 - (-32)/(-96). Let a(y) = -y**2 + 18*y + 20. Let h be a(r). Is h at least 5/3?
False
Suppose 155*j + 291*j + 446 = 0. Is -23/381 bigger than j?
True
Suppose -15*z = -102*z + 3915. Let p be ((-8)/(-4))/((-2)/(-44)). Which is greater: p or z?
z
Let a = -990 + 993. Is a bigger than -137?
True
Suppose 570 - 102 = -9*c. Let g be c/20 - 40/(-25). Is g less than or equal to -582?
False
Let g be (63 - -7) + (-22)/(-1). Which is bigger: g or 111?
111
Let j = -3506 - -2338. Is -1167 at least as big as j?
True
Suppose -6778*g - 21280 = -6797*g. Which is smaller: 1122 or g?
g
Let n(f) = -82*f + 1262. Let u be n(12). Which is smaller: -5 or u?
-5
Let v = 69.3 + -74. Let q = -107.819 + -0.181. Let d = -107.9 - q. Is v < d?
True
Let r(a) = -a**2 + 28*a + 34. Let u be r(29). Which is bigger: -136 or u?
u
Suppose -n = a + 15, 11 + 9 = -4*n. Let h be ((-84)/(-2))/((-2)/a). Let y be (-2)/(-9) - (h/(-27))/10. Do 1/11 and y have different values?
True
Let k = 3558 + -3658. Which is greater: 3/5 or k?
3/5
Let f(g) = -g**3 - 10*g**2 - 8*g + 10. Let h be f(-9). Let b be 206/350 + 884/(-1547). Is b not equal to h?
True
Let c = -65854/3 + 3622351/165. Let z = c - 12/5. Do 7 and z have different values?
True
Suppose -27857 = -285*a - 3917. Which is smaller: -1/25 or a?
-1/25
Let p = -19 - -37. Let i = 170 + -312. Let k = i - -161. Do p and k have the same value?
False
Suppose -3*h + 2*o - 135 = 0, 3*h - 2*o = -3*o - 135. Let i be (-12)/(-90) - 39/h. Let p(q) = q**2 - 7*q + 5. Let u be p(7). Which is greater: u or i?
u
Let k be 1/5*2*100. Suppose 164 + 52 = 72*z. Suppose 42*o = 4*g + 38*o - 168, 4*g + z*o = 147. Is g <= k?
True
Let a be -3*(-19 + (-1624)/(-84)). Does -7/3347 = a?
False
Suppose 2*n - 3*w - 2*w + 1065 = 0, 0 = -n + 3*w - 535. Let v = n - -558. Which is smaller: 36 or v?
36
Let z = -155 + 163.2. Let y = -11.2 + z. Which is smaller: -0.5 or y?
y
Let i be 25/(-35) + 30456/(-168). Which is smaller: -183 or i?
-183
Let u be 2/(-4)*(-4 - -9)*-2. Let l be ((-692)/6)/(3*u/(-765)). Let c = -64744/11 + l. Is c > -5?
True
Suppose -i + 193 = 2*a, -6*i + 11*i = -5*a + 990. Let m = i - 195. Let f = 0 + 0. Which is smaller: f or m?
f
Let k(h) = h**2 - 12*h + 32. Suppose r = -3*l + 11, -3*l = l - 2*r - 18. Let o be k(l). Let f be ((-4)/(-6))/((-2)/6). Is f >= o?
False
Suppose 2*h - 3 = -1. Suppose -h = y - 2. Let p = -848/9 - -94. Is p greater than y?
False
Let i = 0.046 + 20.954. Let p = i - 5. Let w = -8 + p. Is 1 != w?
True
Let n be -511*((-15)/(-5))/15. Let o = n - -93523/915. Are 0 and o equal?
False
Let o(i) = -474*i**3 - 13*i**2 - 15*i - 1. Let g be o(-1). Is 471 bigger than g?
False
Let h = 13.1 - 19.1. Let g = -38 - -37.56. Let w = g - 3.56. Is h equal to w?
False
Suppose -77*w = 5*r - 75*w - 857, -3*r - 4*w = -517. Is -1.7 less than or equal to r?
True
Suppose 2*y + 26 = 5*x, 2*y = 13*x - 9*x - 24. Let c be (27/45)/(3/y). Which is smaller: -2/19 or c?
c
Suppose -15*j = -7*j + 5272. Let m = 209 + j. Let g = m + 7640/17. Which is smaller: 0 or g?
g
Let w be -5*(14/(-2) - (-1 + -7)). Which is smaller: w or -187/29?
-187/29
Let c = 174.3 - 172. Let d = -2.4 + c. Let h = 9 + 2. Which is greater: d or h?
h
Let y = 24 - 24.23. Let v = -287 + 286.65. Let i = v - y. Which is greater: i or -1?
i
Let s = 602/403 - 32/31. Which is bigger: s or 0?
s
Let o be (-1)/2*(10 + 8 - -2). Let n be -2 - (23/(-18) + o/45). Which is smaller: -109 or n?
-109
Let q(c) be the second derivative of c**5/10 + 13*c**4/4 - 5*c**3/3 - 19*c**2 + 216*c. Let d be q(-20). Which is greater: -239 or d?
d
Let v = 902 + -414. Let x = -488.115 + v. Is -1/3 not equal to x?
True
Let o be (-2)/(-6) - (-728)/(-24). Let b = 32 + o. Let u be (-390)/(-24) + b/(-8). Are u and 17 equal?
False
Let m = 44/2759 - -19707449/5518. Is 3572 greater than m?
True
Suppose u + 2*z - 25 = 0, 3*z + 43 = 13*u - 11*u. Suppose -u*d = -36*d. Which is bigger: 15 or d?
15
Let z = 69571 - 696511/10. Are z and -80 unequal?
True
Let a = -44/60267 + -1665055840/1145073. Let v = 1456 + a. Are v and 2 non-equal?
True
Suppose -4*w + 8 = 0, -11 = -29*d + 28*d - 5*w. Which is smaller: 2/77 or d?
2/77
Let z(j) = 17 + 2*j**2 + 4*j - 6*j**2 - j - 2*j**2 + j**3. Let h be z(5). Suppose 8 = -h*a + 11*a. Which is greater: a or 36/11?
36/11
Let a = -300 + 379. Are 83 and a non-equal?
True
Let u = -15817 + 14981.7. Let c = 835 + u. Is 6.5 greater than c?
True
Let n be -2*3/(-6) - 1. Let l be (13/((-1456)/(-5688)))/((-2)/4). Let f = 101 + l. Which is greater: n or f?
n
Let a = 9239352116/1045971 - 1439860/163. Let o = a - 2/713. Is o at least as big as -0.26?
True
Let u(y) = 10*y - 46. Let w be u(5). Let j be ((-155)/30 + w)*1. Which is bigger: j or -1?
-1
Let z = -12476 - -12476. Is z bigger than -1077.8?
True
Let u(n) = n**3 - 5*n**2 + n - 9. Let a(w) = -w**3 + 22*w**2 + 2*w - 39. Let o be a(22). Let b be u(o). Which is bigger: b or -0.38?
-0.38
Let n = -38 + 63. Let z = 30 - n. Is 7 less than z?
False
Let o = 3268 + -383. Do o and 2886 have the same value?
False
Let q(s) = 8*s + 64. Let o be q(-12). Let y be 3/(-2) - 144/o. Let h be ((-2)/5)/(65/25 - y). Which is smaller: 2/9 or h?
2/9
Let q = 174.3 + -230. Let l = q - -30.7. Which is bigger: l or 2/11?
2/11
Let d = -2877.5 + 2902.5. Is -0.034 equal to d?
False
Let m = 29 + -71. Let r be (m/(-9))/((-2)/3). Let g = r - -6. Does -3 = g?
False
Let m(k) = -k**3 + 21*k**2 - 20*k 