 g at most 1?
True
Let t = 2383 + -1612. Suppose 4*z + t = 67. Is z greater than or equal to -176?
True
Suppose -24*n + 74 = -310. Suppose 2*y + 62 = n. Which is smaller: y or -21?
y
Let i = 114 + -112. Suppose -90 = i*n - 12*n. Are 10 and n nonequal?
True
Let x(s) = s**2 - 16*s + 14. Let v be 2/6 + (-5)/(90/(-2388)). Let j be (-36)/(-162) - v/(-9). Let m be x(j). Is 4/15 equal to m?
False
Let d = -0.3 - -0.3. Let t = -2.961 - -1.401. Is d equal to t?
False
Let q = 0.04639 + 977.95361. Which is smaller: q or 1/4?
1/4
Let f = 37.9 - 41. Let c = 3.108 + f. Let k = c + -0.008. Are 1.9 and k equal?
False
Let a be 4680/12*2048/80. Do 9985 and a have different values?
True
Let b = 715 + -712. Suppose f = -5*x - 18, -2*f = 3*f + 2*x - 25. Which is smaller: f or b?
b
Suppose -2513 - 7 = -12*k. Suppose -v = 2*v + k. Which is smaller: -3 or v?
v
Let x(c) = c - 8. Let w be x(4). Let a(o) = -177*o + 878. Let l be a(5). Is l at most w?
True
Let o = -2294267227 - -126953277041869/55335. Let h = o + -4/1785. Which is greater: 2 or h?
2
Let i be 5*((-8)/(-20) - 0). Suppose 10 = -i*c + 72. Let g = c + -24. Which is smaller: g or 25/4?
25/4
Suppose 4*i - 5*c = 193, 26*i + 2*c + 220 = 31*i. Let j be 0 - (-40 - 1)*(7 - 6). Is i not equal to j?
True
Suppose -132 = -62*z + 116. Is 14/13 <= z?
True
Let m be (-46469)/(-6)*9/111. Let p = -628 + m. Is p equal to -2/3?
False
Let l be 3/15*((-40)/(-8) - 0). Let o be (4/(-10))/l + 3738/120. Which is smaller: 32 or o?
o
Let q be (-18318)/(-16) + 10/80. Do 1144 and q have different values?
True
Let z(c) = c**3 + 3*c**2 - 10*c - 17. Let a be z(-5). Let s = 14 + a. Let g = 37 + -149/4. Which is smaller: s or g?
s
Suppose -2*o - o + 5*n + 269 = 0, -3*n + 192 = 2*o. Suppose 5*s = 0, 6*h - 9*h - o = 3*s. Let i = h - -31. Is i greater than or equal to -3?
True
Let n = 3272 + -9817/3. Is n >= -118?
True
Let p be 4/(297/22 - 11). Let j be 2/(-24)*-4*6. Let v be (-3)/j*(-16)/12. Which is greater: p or v?
v
Let h(b) = -3*b**2 - 6*b + 7. Let s(f) = -2*f**2 - 6*f + 6. Let q(l) = 3*h(l) - 4*s(l). Let k be q(3). Suppose -8 + 14 = -k*x. Which is greater: 3 or x?
3
Let s = 16 - 1. Let v = 14 - s. Which is smaller: v or 0.9?
v
Let o(q) be the second derivative of q**5/10 - q**4/12 - 4*q**3/3 - 9*q**2 - 4*q + 11. Let z be o(-2). Are -21 and z non-equal?
True
Let q be (-1)/((-2)/(-8) - (-783)/35100*-13). Which is smaller: q or -0.039?
-0.039
Let w = 50 + -1. Suppose 0 = 15*t - w + 19. Let g be ((-2)/5)/(3/(-5)). Is t at most g?
False
Let a(u) = -2 + 83*u + 5*u**2 - 84*u - 4*u**2. Let v be a(-8). Let k be (-273)/v + (1 - -3). Which is bigger: k or 1?
1
Suppose 0 = 44*t - 36*t + 32. Suppose -5*x - 23 = f - 0*x, 3*f - 2*x + 86 = 0. Let p = f - -25. Is p != t?
True
Let g(d) = 94*d - 86. Let b be g(-5). Let k = 111203/200 + b. Which is bigger: k or 1?
1
Let m(g) = -1302*g - 20006. Let f be m(-7). Which is smaller: -10893 or f?
-10893
Let x = 43051/6935 - -1/365. Let c = x + -4518/703. Which is smaller: 1 or c?
c
Let s = -4013 + 3463. Which is bigger: -7 or s?
-7
Let l = -7043 + 35488/5. Let k = -829/15 + l. Is k <= -177?
False
Suppose -5*a + 3*n - 718 + 1977 = 0, 0 = -2*a + 3*n + 509. Is a bigger than 246?
True
Let f(h) = -31*h - 3. Let g be f(-4). Let n(y) = 6*y**2 + 38*y + 42. Let i be n(-8). Is g at least i?
False
Let q be ((-6)/(-27))/((-11)/3). Let r(d) = d**3 + 21*d**2 - 20*d + 45. Suppose 4*j = -35 - 53. Let b be r(j). Is b greater than q?
True
Let o(z) = 2*z - z - 3*z - 12. Suppose -1215 + 1383 = 28*h. Let u be o(h). Does -25 = u?
False
Let i = -6.1 - 60.9. Let s = i + 118. Let n = 51.1 - s. Which is greater: n or -6.3?
n
Let m = 75.824 - 76. Let k = -0.236 - m. Which is bigger: 1/54 or k?
1/54
Let t(o) = 8*o - 23. Let w be t(3). Let a be w*(2 - (2 + 1))/1. Is -1/19 < a?
False
Suppose l + 4*h - 41 = 0, -l - 115 = -6*l - 2*h. Let k be (-6)/l - (-2 - 887/(-7)). Let z = k - -370/3. Which is smaller: -1 or z?
z
Let a be ((-482)/80)/(((-4)/(-7))/((-820)/(-574))). Is -15 != a?
True
Let u(p) = 8*p + 2. Let v be u(-5). Let d = v + 72. Let n be 360/(-54)*(-48)/10. Is n equal to d?
False
Let h(o) be the first derivative of -2*o**3/3 + 12*o**2 - 35*o + 265. Let i be h(11). Is -11 > i?
True
Suppose -3*q = -0*q - 66. Suppose 4*x + 233 + 191 = 4*p, 5*x - p + 534 = 0. Let r = 129 + x. Is r smaller than q?
False
Let d be (0/1 - -1)/1. Let f be (6/7)/(d/7). Let i = 26960/3 - 8987. Which is greater: f or i?
f
Suppose -11*z + 76 = -30*z. Let j be (-1)/14*z + 1254/21. Do j and 61 have different values?
True
Let q be ((-22290)/120)/(2/16). Let l = 63891/43 + q. Is 1 at least l?
True
Let s = 1.1069 - 3.1069. Which is smaller: s or -1945?
-1945
Let i be ((-2)/(-3))/2 - 4548/36. Suppose 0 = -4*a + 20, 0 = 8*r - 9*r - 5*a - 100. Is r greater than i?
True
Let h be 41 + -10 + 3/3. Suppose -28*k - 12 = -h*k - 2*r, -2*r = -8. Which is smaller: k or -9/146?
-9/146
Let t = -20 + 12. Let s be t + ((-2)/3 - -8). Is s bigger than 18.8?
False
Let g(w) = -w - 11. Let p be g(-8). Let o = -174 - -240. Let v be -4*(-2)/(-4) + o/21. Is v at most p?
False
Suppose -4*g + 15 + 97 = 0. Let w(j) = -j**2 - 63*j - 410. Let r be w(-55). Is r at least as big as g?
True
Let w = 95 + -67. Suppose 0 = u + g - w, 2*u - 18 = u - 3*g. Let j be (u/(-8) + 4)*-10. Is j < 2?
True
Let q = -14 + 21. Let r be q*1*(0 + -1). Let g(v) = v**2 - 4*v - 145. Let t be g(14). Is t at least r?
True
Let h = 2367 - 2365. Is h <= -66.3?
False
Let o be (6/15)/2 - (-48)/10. Let g be 0 + o + 74 + 6. Let m be 5 - g/20 - 1029/12. Is -86 at least as big as m?
False
Let k = 59 - 58.39. Let z = 82.61 - k. Let q = 81.52 - z. Is q at least as big as -0.1?
False
Let t(k) = 2*k**2 - 1. Let p be t(-1). Let o be ((-14)/15)/(((-648)/60)/(-3)). Are p and o non-equal?
True
Suppose 9*f + 414 = 11*f - 5*w, 0 = -2*f + 4*w + 414. Let g = f + -232. Is -3 at most as big as g?
False
Let j be (-5 - -8) + -10 + 7. Suppose 0 = -5*k - 4*w - 1895, 2*k + 3*k + w + 1895 = j. Do k and -379 have different values?
False
Let p = 1149 - 1316. Which is bigger: p or 52?
52
Let f be 10/((-40)/6)*2. Let j be 1*(-7 - f) + (-33 - 0). Does j = -39?
False
Suppose 2*a - 3*f + 4 = -4*f, 0 = -4*f - 16. Suppose a = -5*j + 125 - 15. Suppose 0 = 6*d - 4 + j. Is d >= -40/11?
True
Suppose -6*w - 18*w - 4125 = w. Let o be (1148/(-70))/(1/10). Is w less than or equal to o?
True
Suppose 0 = -y + 3*c - 30 + 9, -48 = 3*y - 4*c. Let u = -5019/370 - -27/74. Is u smaller than y?
True
Let k = 118 + -2933/25. Suppose j + 20 = -4*j - 4*a, 5*j = 3*a + 15. Which is smaller: k or j?
j
Let l = 0.5196 + -0.0196. Does l = 258?
False
Suppose -3*b + 4704 = 9*b. Let k = 418 - b. Is 276/11 not equal to k?
True
Let x(p) = 4389*p + 57048. Let h be x(-13). Let i = -1.1 - -1. Let z = -0.2 - i. Is z less than or equal to h?
False
Let w be (-466)/(-2432) - (-120)/1140. Are w and 1 non-equal?
True
Let k(t) = t + 10. Let v be k(-13). Let y be v/2 + (-51)/(-2). Let x be ((-1)/y)/(3 - (-155)/(-50)). Which is greater: -1 or x?
x
Let t(a) = -247*a + 48. Let g be t(2). Let q = g + 445. Which is greater: -7/5 or q?
q
Suppose -3*l + j - 324 = -j, 4*l = -4*j - 452. Let z(s) = -23*s**2 + 385*s + 411. Let y be z(18). Is l < y?
False
Let a = -47 + 33. Let g = -16 - a. Let d be g/5 - (-4)/(-40)*-4. Which is greater: d or -10/13?
d
Suppose -5*t = 55 - 5. Let c be 7/(-168)*-30*18/(-2). Do c and t have the same value?
False
Let m be 188648/13727440*-5 + 4/58. Which is bigger: -1 or m?
m
Let f(v) = -21*v**3 - 5*v**2 - 9*v - 13. Let d be f(-2). Suppose 0 = -d*n + 145*n. Is -4/283 >= n?
False
Let z(m) = -m**3 - 15*m**2 - 15*m - 39. Let t be z(-15). Let w be ((-2852)/t)/(2/6*2). Which is bigger: -22 or w?
-22
Suppose -6*a + 59 = -3*k - 7*a, -3*a = -k - 3. Let d be (216/k)/((9/2)/3). Which is bigger: d or -11?
d
Let k be -4*(66/(-24) + 3). Let i be (-2)/(-4)*6/1197*-1. Which is smaller: k or i?
k
Let i(o) = o**3 - 4*o**2 - 11*o - 5. Let j(s) = 3*s + 34. Let p be j(17). Let n = p - 79. Let t be i(n). Is -5 bigger than t?
False
Suppose -t = -128*p + 132*p + 65, -3*t - 3 = 0. Which is smaller: -7/9 or p?
p
Let b(y) = -23*y - 15. Let m be b(5). Let h = -919/7 - m. Is h <= 0?
True
Suppose 4*b - 26 = -3*f - 66, 5*f = b - 13. Let z = -38 - -42. Suppose 3*j = -2*s + j - 18, -36 = 5*s - z*j. Are s and b equal?
False