Let c be -3 - (-4)/(-8)*g. Which is greater: c or a?
c
Let f = -81.232 + 82. Let g = -0.7 + f. Which is smaller: g or -1?
-1
Let p be 192041432/2400507*(-2)/40 - -4. Which is greater: p or 0?
0
Let m = 1550409/24190 + 17/2419. Which is smaller: m or 65?
m
Suppose -x + 55 = 10*x. Suppose -10 = -x*z - 5. Do -1.3 and z have the same value?
False
Let b(a) = 2*a**2 + 4*a - 6. Let u be b(-5). Let h = 49/2 - u. Let n = -14.436 - -0.436. Which is greater: n or h?
h
Let h be (-306)/(-54) + 4/(-6). Let y(i) = -3*i**2 + 13*i + 5. Let z be y(h). Let r(a) = a**2 + 5*a - 5. Let p be r(-5). Is p != z?
False
Let f(q) = 5*q + 66. Let h be f(19). Let a be 1/2 - h/(-46). Suppose 6*y = 2*y + 40. Is y not equal to a?
True
Let u(c) = -c**3 + c**2 + c - 9. Let i be u(0). Let f = 13 + i. Let l be 0/((-4 + 13)/(-3)). Which is smaller: f or l?
l
Let o = -13901/4 + 2488327/716. Is o less than or equal to -1?
False
Let o be (-140)/12*99/(-48345). Is -1 at least as big as o?
False
Let i(p) be the second derivative of -7*p**3/6 + 33*p**2/2 - 22*p. Let x be i(4). Suppose -x*d + 2*v - 4*v = 8, 0 = 2*v - 2. Does -13/6 = d?
False
Let d = -14415.077 + 14415. Is d < 98?
True
Let i = 2.3266 - -0.0034. Let l = 2.13 - i. Which is greater: l or 202?
202
Let t = 12263 - 12587. Which is smaller: -305 or t?
t
Suppose 0 = 5*b - 2*b. Suppose 6*g - g - 10 = b. Let n = -9799 - -9803. Which is bigger: g or n?
n
Let x = 7383.8 - 7384. Which is smaller: x or -7236?
-7236
Let d(i) = i**3 - 7*i**2 - 9*i + 10. Let t be d(8). Let o be -14*7/t + (6 - 5). Let a = o - -47. Is a at least 0?
False
Suppose -12*f + 10*f - 2*w = -18, 2*f - 26 = -3*w. Is 1/13710 less than f?
True
Let c(v) = v**3 - 3*v**2 + 16*v - 16. Let l be c(2). Which is smaller: 65 or l?
l
Let j be 12060/(3 + -8) + 7 + -9. Is j not equal to -4827/2?
True
Let x be (-3)/4*(18 + (-406)/21). Which is greater: x or 305?
305
Let a = 0.0378 - 0.0178. Which is smaller: a or -12/19?
-12/19
Let a = 19045.83 - 19046. Is a at least 29?
False
Suppose -3*x = 4*k + 2, 11 = k - 281*x + 276*x. Which is greater: k or 37/126?
k
Suppose 0 = -5*i - 2*s + 975, -2*i + 5464*s + 390 = 5463*s. Which is smaller: i or 586/3?
i
Let g be (-29)/(-3) + -5*(-4)/60. Let y be (-3)/2 - (-25)/g. Let d = -6/5 + 49/45. Which is greater: y or d?
y
Let g = -452 - -468. Suppose 21*v = -79 + g. Is 0.28 smaller than v?
False
Suppose 66*f = 59*f + 413. Suppose 5*i = 3*d - 159, 207 + 40 = 4*d + 5*i. Which is greater: d or f?
f
Suppose -42*p + 43*p = -97. Let j = -97 - p. Are 105 and j nonequal?
True
Let a(j) = -4*j + 3. Let r be a(-6). Let n = 516 - 523. Let g be (4*n/756)/(3/(-18)). Which is greater: r or g?
r
Suppose 696*a - 347*a - 344*a - 10 = 0. Is -391 greater than or equal to a?
False
Suppose 2*b - 5*o = 80, 4*o - 8*o = b - 53. Let z be 1/(b/440) + 2/9. Let c be ((-5)/z - -2)*2. Is c equal to -2?
False
Let h = 2.1976 - 0.0736. Let o = -0.124 + h. Which is smaller: 5.7 or o?
o
Let i = 10346.5 + -10346. Which is greater: i or 174/31?
174/31
Let d = 8925 + -8926. Which is bigger: -8/37 or d?
-8/37
Let l be 3*(179736/20232 + -9). Is l <= -1?
False
Let y(v) = v**2 - 6*v - 3. Let t be y(6). Let d be (t/4)/((-3)/58). Suppose 0 = 642*x - 646*x + 3*k + 88, -4*k = x + 16. Which is smaller: x or d?
d
Let s = 0.2973 + 3.9027. Which is smaller: s or -0.02?
-0.02
Let j = 16 - 16.14. Let y = 0.04 + j. Let k = 7.539 - 6.939. Is y >= k?
False
Suppose 0 = 158*a - 169*a + 5335. Which is greater: 487 or a?
487
Suppose 6 = -3*b, 5*b = -13*l + 17*l + 1070. Which is smaller: -250 or l?
l
Let m be ((-4)/(-8))/((-3)/(-72)). Suppose 12*a + 336 = -m. Is -33 at most a?
True
Let w = 9697.8 - 9698. Which is bigger: w or -267?
w
Suppose -q - 4*c = -5*c + 242, 3*c = -3*q - 750. Let a = 242 + q. Do a and -2 have the same value?
False
Suppose -3*g = -5*b + 17, 8*g - 3*g = -b - 19. Let y(t) = 2*t**3 - 6*t**2 - 23*t - 44. Let j be y(g). Which is bigger: 0 or j?
0
Let s = -153 - -1527/10. Let z be (-2583)/24 + 76/(-32) + 2. Let x = z - -109. Are x and s equal?
False
Let w = 7459 - 7460. Let a = 12.18 + -0.18. Is w at most a?
True
Let s be (38196/(-2))/6 + 15/(-5). Let x be 1 - 4 - 9594/s. Which is bigger: x or 0?
x
Let c be (-54736)/(-32) - 2/(-4). Suppose -16*g - c = 6273. Is -499 > g?
False
Let o be 18 - 15 - (-2)/18*-17. Let x be 1 + (5 - (1 + 2)). Suppose 0 = 2*r - 2*t - 12, 4*t - 2*t = x*r - 14. Does o = r?
False
Let f(m) = m - 24. Suppose 0 = 2*i - 4*j + 40, -j = -13*i + 15*i + 45. Let r be f(i). Are r and -48 non-equal?
True
Let r be ((-2036)/15 - 138/(-414))*6/(-33). Let a be 1 + 34/10*7. Let d = r - a. Is d at least as big as 27?
False
Let m(t) = 1574*t - 26799. Let c be m(17). Let k be (-8)/3 + (-2)/6. Let g be k/(-1) + -2 - 43. Which is smaller: c or g?
g
Let r be 2*(-2)/(-4)*-5. Let f be ((-2)/(-3))/(16/3876). Let p = 161 - f. Which is greater: r or p?
p
Let o = 4084/5 + -4403/10. Which is greater: o or 376?
o
Suppose -168*w + 1913520 = -28*w. Which is smaller: w or 13669?
w
Suppose -3*d = 5*a - 2*d - 15, 4*d = -2*a + 24. Let r be (-11 - 633) + -2*a. Let x = r + 4485/7. Is -7 not equal to x?
True
Let z be 14/25*(-10)/(-8). Let a = -156 - -161. Let j be 118/295 + 0 + (-2)/a. Which is greater: j or z?
z
Let m = 222.4 - 210.71. Let k = m - -2.81. Which is smaller: k or -1/3?
-1/3
Let r = -343 - -341.49. Let d = 4.51 + r. Do d and -0.02 have different values?
True
Let i(h) be the third derivative of -h**6/120 - 2*h**5/15 - h**4/12 - 2*h**3 + 3*h**2. Let b be 5/(15/6) - 10. Let d be i(b). Is 0 less than or equal to d?
True
Suppose -4*r - 4*z + 76 = 0, 0 = -18*r + 20*r - 2*z - 58. Which is smaller: r or -3?
-3
Suppose 0 = 2*j - 6, -4*k + k = -5*j + 30. Let u(s) = s**2 + 26*s + 103. Let g be u(k). Which is smaller: g or -26/17?
g
Let v be (-1)/(98/(-226)) - (-2 + 4). Is v equal to 1?
False
Let y be (-2 - (-2)/66) + 2. Let x(m) = 9*m + 28*m - 140 - 17*m. Let s be x(7). Which is smaller: y or s?
s
Let a be 1*(-7 + (-42688)/(-6100)). Let w = a - 876/19825. Let z = 0 + 0. Which is greater: z or w?
z
Let b(d) = 4*d**2 - 178*d - 86. Let u be b(45). Which is bigger: 40/9 or u?
40/9
Let w(g) = 2*g**2 - 59*g - 21. Let r be w(30). Suppose 5*y - r*u + 110 = -6*u, 0 = 4*y + u + 105. Which is smaller: -26 or y?
-26
Suppose -7*y + 8*y - 4 = -w, 4*w + 5*y = 21. Let b be w + (-2)/8 + (-6)/(-24). Is b greater than 1?
False
Suppose -2*f - 2*a = -4674, 11706 = 5*f - a + 9*a. Is f not equal to 2338?
True
Let d = -573/4 + 128917/900. Let n = -391/1800 - d. Suppose -12 = 2*m + 4*k, -4*m + 4 = k + 7. Is n >= m?
False
Let g = -2.28 - 121.72. Let i = g + 123.7. Let q be 7/21*6/11. Which is greater: q or i?
q
Suppose -4*s + 2*b - 2 = 6, -4*s - b + 4 = 0. Let f be (s + 1)*1/(1 - 2). Is 2/35 bigger than f?
True
Let c = -3 + 9. Let t(k) be the third derivative of k**4/24 + 7*k**3/6 - 33*k**2. Let w be t(-1). Are c and w equal?
True
Suppose 0 = -0*f - 5*f - 5*b + 65, -3*f - 4*b + 38 = 0. Let v be f/49 - 204/(-21). Suppose 0 = 3*h - v*h - 7. Which is smaller: -1/11 or h?
h
Let m = 11505 + -11381. Which is bigger: 24 or m?
m
Suppose 15*f + 24*f - 780 = 0. Let o(u) = -5*u - 80. Let q be o(-19). Is q smaller than f?
True
Let a = 150 + -102. Let i be -108*1/(a/18). Which is greater: i or -41?
i
Let p = 9 + -7. Let f be (-24)/18*(-6)/p. Let z = -17195/7 + 2461. Is f less than z?
True
Let h = -24 + 44. Let r = -13 + h. Suppose 5*x + 2*d - 1 = -17, 3*d + r = x. Is -10/11 < x?
False
Let g(f) = -9*f**2 + 592*f - 4173. Let z be g(7). Is -465 not equal to z?
True
Let n be (1 + -1)/(36 - 35). Is 2/421 at least as big as n?
True
Let u be 308 - 46 - 0/1. Is -3 greater than u?
False
Let b = -0.034 + -0.366. Let t = 571/254 + 1/508. Is b less than t?
True
Let l(j) be the second derivative of 9*j**4/2 + j**3/2 - j**2/2 - 18*j. Let s be l(1). Suppose 6*m - s = 2*m. Is m less than or equal to 16?
True
Let w(y) = y**2 + y. Let o(r) = -5*r**2 - 6*r - 11. Let g(z) = -o(z) - 6*w(z). Let t be g(3). Suppose f - 1 = t. Which is smaller: 2 or f?
2
Let a be ((-423)/138415)/(3/(-50)). Which is greater: 1 or a?
1
Let l = -1713.4 + 1716.3. Are 15 and l nonequal?
True
Let z = -2/205459 - 3901021/277369650. Which is smaller: -1 or z?
-1
Suppose 50*w + 65 - 15 = 0. Which is smaller: w or 3/3920?
w
Let x = 10.83 + -11.03. Let c be -2 - 0 - (75/(-19) - -2). Which i