oes x = g?
False
Let i = 8 + -8. Suppose 0 = 5*g - u + 3*u - 90, 5*u - 25 = i. Let r be (46 - g)*(-1)/7. Which is smaller: -5 or r?
-5
Suppose 63*u - 61*u - 3*m = -1000, u = 5*m - 486. Which is smaller: -4556/9 or u?
-4556/9
Let m(r) = r**2 - 4*r - 67. Let n be m(17). Let g = -282 + 438. Is n > g?
False
Suppose 5*m + 0*m = 0. Suppose -5*l - 25 = g + 14, 3*l + 22 = -2*g. Let c be (2/l)/(18/24). Are c and m unequal?
True
Suppose -8*a = -13*a - 3*v - 209, -2*v - 126 = 3*a. Which is smaller: a or -12?
a
Let r = 3727.84 - 3728. Let n = 13 - 12.8. Which is greater: n or r?
n
Suppose -16*i + 18*i - 14 = 0. Suppose 110 = i*k - 9*k. Let j = k + 53. Which is smaller: -3/2 or j?
j
Let f = 17 + -12. Let u be (2 + f/(-4))*616/(-143). Which is smaller: -3 or u?
u
Let r = 39 + -49. Let a be (47/r*4)/(144/(-120)). Is a at least 17?
False
Suppose -33*z + 72 = 39. Does -1/43 = z?
False
Let f = 32477 - 32481.146. Which is greater: -0.2 or f?
-0.2
Let t(c) = 3 + c**2 - 5*c**2 - 2*c**2 + 4*c - 2*c**2. Let y be t(-1). Let v be 2*1/y + (-37)/(-126). Is 2 smaller than v?
False
Let p = -11.82 - -507.82. Let u = 495.8 - p. Is u bigger than -21?
True
Let g(i) = i**3 - 6*i**2 - 3. Let s be g(6). Let r be (-2 - -5)*(-8)/s. Let y = -107942 - -107951. Is r != y?
True
Let l = -188.99 + 195. Let a = 2.01 - l. Do -49 and a have the same value?
False
Let t be 68/136*(2 + (-3 - -3)). Which is greater: -643/4 or t?
t
Let x = 0.101 + 0.099. Let a = 29.268 - 0.268. Is x smaller than a?
True
Suppose -r - 343 = -4*z - 340, 3*r = -2*z + 5. Is -47/97 less than or equal to r?
True
Let x = 155 - 51. Let a = -47 + x. Let c = -56.1 + a. Which is smaller: 1/3 or c?
1/3
Let n be 3/(-6)*0 + (-5 - 2). Let k be (-1)/((14/138)/n). Is 68 at most k?
True
Let d(x) = x + 5. Let s be d(-6). Let g be ((-496)/(-1116)*6/(-4)*-3)/(-3295). Is s < g?
True
Let p(x) = -6*x**2 - 259*x + 138. Let z be p(-46). Is -644 smaller than z?
False
Let r(u) = 3*u + 4*u**2 + 0 + 2 - 7*u. Let h be r(3). Suppose -2*v - 95 - 22 = -5*y, -3*y + 5*v + 55 = 0. Does y = h?
False
Let y(u) = u**3 + 13*u**2 + 40*u + 491. Let b be y(-10). Is 1962/5 bigger than b?
True
Let z = 350 + -560. Let r = 207.1 + z. Which is smaller: r or 0?
r
Let z = 101 - 101.84. Let k = -0.96 + z. Let y = 0.8 + k. Which is smaller: y or 10?
y
Suppose -5*s - 30 = -a - 37, -13 = 5*a - 3*s. Does a = -0.0896?
False
Let p be (-7 - (-28 + -7)*165/(-25)) + 6. Does -218 = p?
False
Suppose 67 + 29 = 24*v. Suppose 338 = -v*h + 14. Are -84 and h equal?
False
Let d = -505177/1583610 - 1/22623. Which is greater: 0 or d?
0
Let o = 239 + -463. Suppose 32*c + 4701 = -2467. Is o not equal to c?
False
Let t = 24.5 - 32. Let n = 6.4 + t. Let d = -25.8 + 26. Which is smaller: n or d?
n
Suppose 0 = -b - 2*b - l + 18, 0 = 3*b - 2*l - 9. Which is bigger: 149/29 or b?
149/29
Let s(u) = 104*u + 520. Let m be s(-5). Which is smaller: 12/599 or m?
m
Suppose -2*o - w + 4*w - 9 = 0, -5*o - 5*w = 10. Are 0.032 and o unequal?
True
Let i = 242 - 1459/6. Let h = 1706 + -1706.1386. Let f = h - -0.0386. Which is smaller: f or i?
i
Suppose 5*l + 18*l = 38*l - 74940. Is l > 4995?
True
Let p(z) be the second derivative of z**4/6 + 2*z**3 + 9*z**2/2 - z. Let x(o) be the first derivative of p(o). Let u be x(-3). Is u less than 1?
True
Let r = -21354 - -21355. Are r and -2/16277 non-equal?
True
Let s be ((-10)/10)/(((-248460)/8)/15). Is -3 < s?
True
Let u = -3156 - -3147. Let f = 20.6 - 21. Which is bigger: u or f?
f
Let m be 5/(25/(-10)) - 339. Let f = -456 - -116. Which is smaller: f or m?
m
Let g = -4 + 12. Let a = g - -12. Suppose -a*n = -17*n - 24. Which is greater: n or 9?
9
Let q(r) = 3*r**2 - 352*r - 144. Let w be q(107). Is -3460 less than w?
False
Let k = 214 + -213. Let l(u) = -u - 2. Let g be l(-14). Let y be 22/g - -3 - 3. Which is greater: k or y?
y
Let q = 2770 + -2821. Let x = 33 + -71. Let f = x - q. Which is smaller: 0.3 or f?
0.3
Suppose 36*c = 35*c - 23. Let x be (3 + 1)/2 + -19. Which is bigger: c or x?
x
Let d be (-1)/3 - (-75)/171. Let k = -29045 - -29040. Do d and k have the same value?
False
Let r(l) = 5*l**2 + 52*l + 221. Let n be r(-7). Is 35 at most as big as n?
True
Let d be 12*((-407)/(-132) + -3). Which is bigger: -1/76 or d?
d
Let i(h) = 43*h + 42. Let m be i(-1). Suppose 5*b - 7 = 13. Let z be b/6*(-12)/376. Which is smaller: m or z?
m
Let m(p) = -2*p**2 - 27*p + 33. Let o be ((-6)/(-8))/(90/(-2160)). Let u be m(o). Is u > -130?
True
Suppose 5*k = 3*m - 3417, -5*m + k - 2383 + 8078 = 0. Which is smaller: m or 1140?
m
Let s = 394.7 - 445. Let p = 49.83 + s. Which is bigger: 1 or p?
1
Let d = 33092662/1133 - 29208. Let x = d - 18114/7931. Which is smaller: x or -1?
x
Let w be 6/9*63/(-3 - -6). Let l be ((-12)/(-6))/1*-2. Let f be 6 + -7 - 7/(w/l). Is 2/243 bigger than f?
False
Let t = -61.37 + 61. Let s = 133.1 - 133.53. Let c = s + t. Which is bigger: c or 1?
1
Let a be (-1)/(7/23253) - 0. Let i(q) = -208*q + 4786. Let r be i(7). Let l = r + a. Is l smaller than 8?
False
Let g = 37 - -34. Let a = g - 71. Suppose 6*c - 4 + 22 = a. Is c bigger than -3?
False
Let g(v) = 2*v**2 - 19*v - 27. Suppose -h - 5*c = -2*h - 1, -10 = -5*c. Let p be g(h). Is -33 at most as big as p?
False
Let c be (-62)/(-775) - 4/(100/(-4123)). Which is greater: c or 168?
168
Let j be ((-1634)/(-57))/(1/(-3)). Let y be j/((-294)/6 - -5) - 2. Let h = -0.3 + 0.4. Are y and h nonequal?
True
Let a = 54381 + -29963949/551. Are -1 and a nonequal?
True
Let d = -5603/495 + 125/11. Which is bigger: d or 2.2?
2.2
Let w = 59 + -326. Let i = 205 + w. Which is greater: i or -61?
-61
Let o be -2 - (-2)/6*(-27 - -33). Is o at most as big as 9/397?
True
Let i be (-22)/20 - ((-92)/(-5) + -18). Let s(w) = -w - 16. Let y be s(-13). Which is smaller: i or y?
y
Suppose 95 + 465 = -28*x. Which is bigger: x or -308?
x
Let z be 4/((-12)/(-99)) - (97 + -95). Is -264 <= z?
True
Suppose 0 = 5*y - 2*k - 103, y + 0*y = -3*k + 24. Let w(a) = -a**3 + 20*a**2 + 17*a + 47. Let p be w(y). Is -37 >= p?
True
Suppose -15*g + 18*g = 480. Suppose -g = -37*m + 25. Which is bigger: m or -2?
m
Let j be (-21)/(63/(-258)) - 6. Let y = 110 + -27. Which is bigger: y or j?
y
Let z be (-2 - -1) + ((-31)/62)/((-3)/(-69)). Which is smaller: -1/104 or z?
z
Let k(m) = -31 - m**2 + 2*m**2 - 2 + 6 - 3*m. Let n be k(7). Is -0.043 > n?
False
Suppose -37 = -25*a + 88. Suppose -a*s - y + 2602 = 0, -5*y + 35 - 2105 = -4*s. Is s < 520?
False
Let t = -3.01561 - -3.1197. Is t at most -1?
False
Let a = 52660/7 - 37410/7. Is a greater than 2179?
False
Suppose 0 = -4*b + 2 + 38. Suppose 15 - 120 = -r - 5*k, -337 = -3*r - 4*k. Let j = r + -105. Is b equal to j?
True
Suppose 3*i - 1856 = 19*i. Let q = 119 + i. Which is greater: q or 57/14?
57/14
Let j be (2 - -1) + (-89462)/29822 - 0/(-7). Are j and -1 unequal?
True
Suppose 6*q = -3*q - 3*q. Suppose 0 = 2*k - 2*f + 10, -2*f - 4 = q. Let j be (-111)/(-21) - (-2)/k. Is j >= 2?
True
Let h = 1007/14 + -93655/1302. Let y = h + -613/12369. Let w = 13 - 12.94. Is w at least y?
True
Let d = -211/24 + 15047/184. Let y = 73 - d. Which is bigger: y or 1/3?
1/3
Suppose 156 = 3*g + 12. Suppose 0 = -12*t + g. Suppose -i = t - 12. Which is smaller: 31/4 or i?
31/4
Let q = 72445/4 - 17997. Suppose -2*n - 483 = -4*z - 15, 3*n = -z + 103. Which is bigger: z or q?
z
Let x = 24618 - 24617.9705. Is x bigger than -1?
True
Suppose 34*i - 55510 = -133*i - 138*i. Is 1/6 greater than i?
False
Let z be (2/(-6))/((-95)/(-28215)). Let d(j) = j**3 - j**2 - 2*j - 99. Let c be d(0). Are c and z nonequal?
False
Let d be 25 - 34 - 2 - -8. Is 3246 at least as big as d?
True
Suppose -4*r + 3*y + 35 = 0, -2*r + 5*y + 24 + 11 = 0. Suppose r*h = 2*h - 9. Let a be ((-11)/(-66))/((-3)/(-90)*-5). Which is smaller: h or a?
h
Suppose -13 = -2*o + 3*p, -7*o + 3*o + 25 = -5*p. Suppose 2*k - d + 175 = -3*k, 0 = -k - o*d - 35. Let j = 36 + k. Is j greater than 10/17?
True
Let j = 5/7311 - 512185/606813. Which is smaller: 0 or j?
j
Let y(t) = 6*t - 2. Let s(b) = -2*b + 3. Let u be s(1). Let a be y(u). Let i(l) = -136*l - 818. Let w be i(-6). Which is bigger: w or a?
a
Let u = -0.1542 + 7.1542. Is u equal to 2?
False
Let z = -1663 - -773. Is 4/3 <= z?
False
Suppose 0 = 33*y + 8038 - 1302 - 466. Which is smaller: y or -197?
-197
Suppose 4*x + m - 12 = 11,