 - -39354. Which is bigger: -32 or v?
v
Let f be -10 - (60/110 - (-12)/(-22)). Let q be f/(-40) + 6/8. Is q != 15/56?
True
Suppose -292 = 277*z - 280*z + 1637. Which is smaller: z or -1?
-1
Suppose -1436*s + 365 = 2*d - 1439*s, -4*s + 414 = 2*d. Which is smaller: d or -0.03?
-0.03
Let y = -194.9694 - 0.0306. Let h = y + 194.9. Let a = 357/65 + -48/13. Is h >= a?
False
Let c = -7 + -5. Let u be (3 + 0 + -255)*8/6. Let q be 6/(-16) - (-3906)/u. Is c greater than q?
False
Let r be (-1*1*1)/(-1). Let j(n) = 2*n**3 + 15*n**2 + 31*n + 16. Let m be j(-3). Suppose -m*q + 4 = -2*v - 32, 0 = 4*v - 2*q + 84. Which is greater: r or v?
r
Let l(c) = c**3 - 15*c**2 - 15*c - 6. Let k be l(16). Suppose q - k*q + 180 = 0. Suppose 2*g + 5 = 47. Do q and g have the same value?
False
Let p be -2 + 2 + 6 + (-1 - -4). Let f(g) = -7*g + 61. Let x be f(p). Which is smaller: -27/4 or x?
-27/4
Let g(s) = 4*s**3 - 15*s**2 - 23*s - 10. Let q be g(5). Which is bigger: -24/1967 or q?
q
Suppose 2*m = 5*w + 42 - 2, -w = -4*m + 26. Let l(c) = c**2 - 22*c - 220. Let y be l(-7). Is y equal to w?
False
Let i be 42*26/(-303) + 4. Let m = i + -2456/2121. Which is greater: m or 0?
0
Let z = 3.83818 - -0.07382. Are z and 0.2 equal?
False
Let s(b) = -b**2 + 9*b - 29. Let m be s(16). Let f = m + 145. Suppose -13*j = f*j + 68. Does j = -16/3?
False
Suppose 0 = 10*c - 5*c - 10. Suppose c*l = -48 - 42. Let y = 396 + -440. Which is smaller: l or y?
l
Let b(p) = 149*p**2 - 3*p + 4. Let r be b(-3). Let i = r + -29795/22. Let g(j) = 10*j**2 - 42*j - 123. Let q be g(-2). Which is bigger: i or q?
q
Let d = -25 + 24.987. Let m = 2960 - 2959. Which is greater: m or d?
m
Suppose -36*q + 48*q = -147720. Which is greater: q or -12309?
-12309
Suppose -3*i - 3 = 3*g, 5*i + 3 + 22 = 5*g. Suppose 3*z - 2*f = 38, -3*f = g*f - 25. Which is smaller: -0.05 or z?
-0.05
Let p be ((-18)/(-10) - 2)/(1/(-25)). Let u = -1259 + 6317/5. Is u < p?
True
Let m = 376 + -367. Suppose 4*t + 3*l = 395, 265 = m*t - 6*t - 4*l. Is t at most 94?
False
Suppose 613 = -4*s + 2*s - 181. Is s < -375?
True
Let u be -9 + (-144)/(-12) - (-1 + (-879)/(-195)). Is u smaller than -1?
False
Let b be ((-4)/(-4) - -15)/2. Suppose b*q = 3*q + 15. Suppose -7*x + 4*x + q = 0. Which is smaller: 4 or x?
x
Let g = 4261 - 4258.4. Is -99 at least g?
False
Let g = 11 + -8. Suppose -13 = -g*k + m, -3*k - 1 = -5*m - 6. Suppose -q + 6 = 1. Is k at most q?
True
Let l = 51508/47957 - 116/119. Is 1 at most as big as l?
False
Let s = -9.101 - -2.101. Is s at most as big as 2/15?
True
Suppose -384*z + 195*z = -211*z - 13552. Is z < -630?
False
Suppose 5*x - 151 = 168*m - 167*m, -x = -2*m - 32. Which is smaller: 33 or x?
x
Suppose 4263 = 20*p - 50357. Which is greater: 2732 or p?
2732
Let a be -9 - (15/((-150)/(-40)) + -66). Let h be (-2 + 6/2)*3. Suppose h*c = 31 + 131. Which is smaller: c or a?
a
Suppose -3*p + 0*p + 2*k = -4, 0 = 2*p + 3*k - 20. Let s = 238 + -233. Suppose u + p*o = s*o + 6, -3*u - 5*o + 50 = 0. Which is smaller: 11 or u?
u
Let x = -0.00319 - -0.00619. Which is smaller: -7/3 or x?
-7/3
Let s = 7319/3111 - -79/183. Is 4 smaller than s?
False
Let v be 4*(30882/(-16))/((-3)/(-4)). Let r = 1924984/187 + v. Is 0 at least r?
False
Suppose -4*p - 163 = w, 2*p + 59 = 21*w - 26*w. Let i = -1 - 7. Is p greater than i?
False
Let i = -246.5 - -255. Which is greater: -0.1 or i?
i
Let n be 4/(-680)*5/2. Suppose 20601*h = 20620*h + 19. Which is smaller: h or n?
h
Let d(g) = 4*g + 30. Let o be d(8). Let s be (31/o)/(2/484). Is 120 < s?
True
Let z = 551 + -11569/21. Let s = -1164.8319 - 0.1681. Let t = -1164 - s. Is t at least z?
True
Let p be (-16 + 1 + -1)/(-1). Suppose -5*s - 354 = p. Let z = -73 - s. Which is greater: z or 3?
3
Let o = -2977 - -2971. Suppose 0 = b - 26 - 0. Which is smaller: b or o?
o
Let v = 1137699/47 + -24204. Is 2 < v?
True
Let v = 20249 - 4130785/204. Is v smaller than 0?
False
Suppose 0 = 3*i - 370 - 1163. Let q = i - 508. Which is bigger: q or 50/13?
50/13
Let i be -1*0/(16 + -13). Is 42/61 >= i?
True
Let w be (44 - 68)*2/(-3). Suppose 71 + 25 = w*r. Suppose -4*u + 5*u = 12. Is r bigger than u?
False
Let n(k) = 51*k - 7. Let h be n(1). Let s = h - 44. Suppose s = 11*f - 4*f + 14. Which is smaller: -22/13 or f?
f
Let r be 6 - -48 - (1/1 + 3). Let f(a) be the first derivative of a**3/3 + a**2/2 + 9*a - 3. Let d be f(-7). Which is smaller: d or r?
r
Let s = 17.25 - 17.15. Is 4/261 < s?
True
Let j be (0 + 3/1)/(-2). Let l = -602 + 319. Let f = l - -280. Is f less than j?
True
Let x be (57/54)/(40/(-60))*-4. Which is greater: 6 or x?
x
Let m be 0 + -494 + 840/140. Is -485 not equal to m?
True
Let i(n) be the second derivative of 0 + 1/6*n**3 - 1/2*n**2 + 1/3*n**4 - 33*n. Let r be i(1). Is r bigger than 5?
False
Let r be (4 - 5 - -5) + -5. Suppose 7*n - 2 = 5*n. Let j be n*(-3)/(-138 + -3). Which is smaller: r or j?
r
Let s = -0.35 + 0.35. Let c = -0.24 + 18.24. Let d = -27 + c. Which is bigger: s or d?
s
Let j be (70/63)/((-384)/(-225)). Let s = j - -1/64. Is 2/309 >= s?
False
Let y be 2/((-6)/9) + (22 - (-12140)/(-620)). Suppose 5*m - 4*j - 12 = 0, 5 = -2*m - 4*j - 7. Is y >= m?
False
Let u be 303645/93 + (-2)/(2 - 1). Which is bigger: u or 3262?
u
Suppose 0 = g + 1, g - 10 = -2*c + 5*g. Suppose 162 = -c*a - 3*n, 3*n - 15 = -6. Let x = -57 - a. Which is greater: x or 2/19?
2/19
Suppose 23419 - 27619 = -40*q. Do 25 and q have different values?
True
Let i be 0*((-207)/(-18) - 12). Which is smaller: i or -4/1459?
-4/1459
Suppose -14 = 4*x + 2*z, 135*x - 139*x + 1 = -z. Which is smaller: -76/147 or x?
x
Let w(s) = 430158*s - 20. Let n be w(-5). Let j = n + 139798687/65. Let k = j + 301/5. Which is smaller: k or -1?
-1
Suppose -29*i - 57 = 117. Is i less than -45?
False
Let u be ((-87)/(-26955))/((-8)/(-36)). Let h = u + -2931767/17970. Let w = -163 - h. Is w less than -1?
False
Let y = -60 + 51. Let a(o) = -36*o + 57. Let g(n) = 17*n - 28. Let q(t) = y*g(t) - 4*a(t). Let m be q(3). Is -17/9 not equal to m?
True
Let a = -4.8 + 5. Let c = 2.8 + a. Let y = 0.0043 - 0.1043. Is c less than y?
False
Let o be 408/28*(-133)/(-209). Do 8 and o have the same value?
False
Let p(f) = -118*f - 41. Let q be p(-2). Suppose -q*l = -189*l - 54. Is l < 0?
False
Let q be (-2 + -4)*(-120)/(-45). Suppose n - 61 = p, p - 5 = 2*p. Suppose 0*z - 4*z = n. Is z < q?
False
Suppose 0*f + f = -2*n + 8, n - 8 = -f. Let y be (-35)/(-42)*3/f. Let r = y - 333/16. Which is smaller: r or -20?
r
Suppose -2*h + 225 = 3*h. Let y = 58 + -78. Let s be (-40)/2*((-55)/y + -5). Is s greater than h?
False
Let s = 1.667 - 2.667. Is s bigger than -4307?
True
Let g = 134302/85 - 1580. Let k(h) = 7*h**3 - 6*h**2 - 8*h + 4. Let m(q) = 2*q**3 - q**2 + q + 1. Let a(d) = k(d) - 4*m(d). Let v be a(0). Is v >= g?
False
Suppose -3*d = 3*t - 282, -3*d + 148 - 517 = -4*t. Let a be 16/t*18/(-12). Which is greater: a or -1?
a
Let n = -5383/52 + 387/4. Let h = n + -2/65. Which is bigger: -7 or h?
h
Let g be 1/21 - (-2158)/(-43407). Is 1 less than or equal to g?
False
Let s(l) = 3*l - 35. Let t be s(12). Let o be 2 + 2 + t/(-2). Let d(n) = 2*n - 5. Let w be d(4). Is w greater than or equal to o?
False
Let m = 68 - 68.19. Let q = m + -73.81. Let k = 39 + q. Which is smaller: 0 or k?
k
Let o(r) = 1506*r - 1163. Let i be o(-3). Is i greater than or equal to -5682?
True
Let m be 1/3 + (-8)/(-24). Let i = -55 - -15. Let g = 33 + i. Is g at most as big as m?
True
Let t = -14709 - -20960324/1425. Let f = t - -155329/5700. Which is bigger: f or 28?
28
Let p = 146 - 103. Suppose 2*a - p + 33 = 0. Suppose 4*d + 1 = -a*v + 41, -4*v = -16. Which is bigger: 12 or d?
12
Let w be (-8)/(-22) + -5127*(-18)/(-258687). Which is smaller: -1 or w?
-1
Let d = 15785 + -15787. Is 8691 <= d?
False
Let r be ((-210)/4)/(-5)*-6. Let v be 14/(-273) + 48/234 + (-886)/13. Which is smaller: r or v?
v
Let j = 138 + -136. Suppose d - 5*n = 14, 0 = j*d - d + 4*n + 13. Let m be (-2)/1 - 6/(-6). Is d less than m?
False
Let d = -0.8 - -0.5. Let k = 2334/11 - 21017/99. Which is smaller: k or d?
d
Let h = 734 + -1543. Is h less than -807?
True
Let w = -23.4095 + 23.4. Let m = w - -1.6095. Which is bigger: 0 or m?
m
Let g be (6 + 4/(-8))*20. Let i = 312 + -201. Is i <= g?
False
Let o = -20 + 45. Let g(w) = -4 + w - 2*w - o. Let d 