rue
Let f be (-102373023)/39 + 9/3 + -1. Let h = -2627232 - f. Let r = h + 2287. Is r equal to 2?
False
Let q = -2/14399 + 253013/14399. Which is smaller: q or 19?
q
Let k be (-8)/(-20)*(-25)/(-1). Suppose 5*n = -5*u + k, 0 = -0*n + 3*n. Let y be 6/u - -9*(-12)/28. Is -1 greater than y?
False
Let g(h) = 3*h - 43. Let n be (-21 - -29)/((-1)/(-2)). Let d be g(n). Suppose 4*a - 8 = j + 2, -d*j - 2*a = 6. Which is bigger: -50 or j?
j
Let s = 2.263 + -5.263. Is 44 smaller than s?
False
Let a(w) = -w**3 - 9*w**2 - 8*w + 49. Let d be a(-7). Suppose j = -2*b + d, -8*b + 3*b - 3*j = -20. Is b smaller than 1/311?
False
Let d = -3718/7585 + 34/205. Which is smaller: d or 11/4?
d
Let d be ((-12)/(-8) + 0)/(14/(-4) - -4). Let l(c) = c**2 + c. Let x be l(2). Let q be ((-2)/x)/(3/(-18)). Does d = q?
False
Let j = 0.6037 + 0.7963. Which is smaller: -18 or j?
-18
Let o(g) = 3*g**2 + 40*g + 13. Let a be o(-9). Let x be 325/a - (-6)/16. Which is smaller: -4 or x?
-4
Let a = -0.00356 + -569.99644. Are a and 4 non-equal?
True
Let t be 264/(-36) + -5 + ((-8)/(-1) - 2). Which is smaller: t or -6?
t
Let o = 18912654576/671 - 28185780. Let m = o - -62/11. Is m greater than 0?
False
Let y(o) = 13*o + 60. Let l be 1 + 10 + -16 - (-4)/2. Let s be y(l). Which is bigger: s or 31?
31
Let t = 124 - 203. Let p = t + 78. Which is greater: p or -60?
p
Let d(n) = 1334*n**2 + 30*n + 1. Let w be d(-1). Is 1301 less than w?
True
Let c be (-10)/(-84)*(112/(-35) + 3). Let f = 10/21 - c. Which is smaller: f or -0.276?
-0.276
Let z be (-39710)/(-35) + (-9 - (-2)/2). Which is smaller: 1126 or z?
1126
Let c = 69939/5 - 14224. Is c at least -236?
False
Suppose 0 = 4*d + p + 49, 3*d = 2*p + p - 33. Let t be (d/(-15))/((220/(-75))/2). Let w(g) = -g**2 + 3*g + 2. Let q be w(4). Is q equal to t?
False
Suppose 34*c - 2530 - 5188 = 0. Is c smaller than 1139/5?
True
Let w = 1873 - 1852. Is 176/9 greater than w?
False
Suppose 7*t + 7*t + 105 = 35*t. Are 356/87 and t equal?
False
Let s = 403 - 89465/222. Let p = -103/1776 - s. Let y = -9964 - -9965. Which is bigger: y or p?
y
Let h = -52387855/731 - -71666. Which is greater: h or 1?
1
Let m(j) = j**3 + 6*j**2 - 3*j - 5. Let t = -19 + 22. Suppose 4*l + 8*c = t*c - 2, l - 5 = -4*c. Let h be m(l). Is 32 != h?
True
Let q be (3/(-2))/((350/(-49) + 8)/(-8)). Which is smaller: q or 1/12?
1/12
Suppose 2*b - 4*r - 18 = 0, -20 + 0 = 5*r. Let o be b/(((-1316)/(-16))/(-7)) - 0. Which is smaller: o or 0?
o
Let h = -14 + 20. Suppose 4*n - 5*o - 30 = 0, -h*n + 28 = -2*n - 4*o. Suppose 0 = -22*b - 15 + 59. Do b and n have different values?
True
Let h = -732 + 739. Let f(r) = 2*r**2 - 36. Let s be f(h). Is 60 at most s?
True
Let f(h) = 10*h**2 - 17*h + 26. Let r be f(2). Let s(a) = -47*a + 315. Let o be s(6). Which is bigger: r or o?
o
Let q be (-13)/((-910)/(-7798)) - 3/5. Let w = q + 112. Is w at most as big as 2/733?
True
Let i(g) = 19*g**2 + 312*g + 138. Let z be i(-16). Let x = -5201 + 31273/6. Which is smaller: x or z?
z
Suppose 1071*j = 1070*j. Let m be j + (-2 - -16*55/50). Which is smaller: m or 16?
m
Let b(q) = -q - 4. Let o be b(0). Let n(h) = h**3 - 7*h**2 - 5*h + 15. Let a(m) = -m. Let j(l) = 5*a(l) + n(l). Let p be j(8). Which is smaller: p or o?
o
Let d be 10 + 7 + (-355311)/39483 + -8. Is -1 smaller than d?
True
Let m = 57 + -55. Suppose -m*w = -54 - 86. Do 69 and w have the same value?
False
Suppose 6 = 4*f + 2. Suppose -43 - 302 = 5*q. Let g be 3/(-6) + q/(-162). Which is greater: f or g?
f
Let u = 1 - 9. Suppose 4 = 4*o - 2*i - 0*i, -2*i = 4. Let g be (o - -9)/(14 + -15). Is u not equal to g?
True
Let l be -9*(3 - 40/12) + 1. Let b be (0 + l)/((-4)/(-14)). Let t be b/(-77) + 4/22. Which is greater: t or 2/45?
2/45
Suppose 8*s + 70 - 326 = 0. Suppose 4*k + s = -4*o, -4 = -2*o + k - 32. Are o and -14 equal?
False
Let h be 21 - (11 - 1668 - 1). Which is greater: h or -3?
h
Let y be (-3 - 119)*(-12)/10*235/188. Does y = 0.03?
False
Suppose 4*p = -525*t + 524*t - 11, -4*p - 5*t + 9 = 0. Which is smaller: p or -0.122?
p
Let n = -7549 - -7662. Does 17 = n?
False
Let x = 4 - 7. Let j = -0.6119 - -0.586. Let n = j - 1.9741. Is x < n?
True
Let u be (676/(-4550))/(15/25). Which is smaller: u or 1?
u
Let k = -100074 - -315733474/3155. Is k at least as big as 1?
False
Let g(x) = -x**3 + 40*x**2 + 10*x - 378. Let i be g(40). Which is smaller: 604/27 or i?
i
Let h be ((-22)/8 + 2)*288/(-108). Suppose 2 = -2*t, h = p + 5*t + 6. Is 5 < p?
False
Suppose 16 = 4*a, 3*a = -0*m + 2*m + 6. Let g be ((-54)/66 - -1) + 3172/(-22). Let h = 587/4 + g. Is m at least as big as h?
True
Let j(k) = k**2 - 4*k + 8. Let g be j(4). Let v be ((-65)/39)/(g/(-6) + 1). Let x be 6/(-45)*v*(-49 - -1). Is 31 at least x?
False
Suppose -11*q + 13*q + 13*q = 0. Suppose q = 4*i - 28*i. Suppose 3 - 26 = -d - 5*u, -5*u + 20 = 0. Is i < d?
True
Let l = 129 + -124. Suppose 0 = -6*g + g - 4*k - 98, l*g + 95 = -5*k. Let n be ((1/(-6))/(g/(-33)))/(-1). Are -0.056 and n equal?
False
Suppose -4*n + 18 = 2. Let p be 4/22 - n/22. Let z be 1/4 + (-858)/3624. Which is smaller: p or z?
p
Let y = -746 + 692.1. Let p = y + 56.7. Which is greater: p or -0.1?
p
Let n be 1890/(-8148)*7/(-105). Let f(l) = -l**2 - 6*l. Let s be f(-6). Do n and s have the same value?
False
Let y = -32768 - -32760. Which is greater: 43 or y?
43
Let i be 273/28 - (-1)/4. Let n be 8/2 + (-20)/i. Is n at most as big as 2?
True
Let y = -247.2 + 317. Let t = -1.8 + y. Is t smaller than 2?
False
Let d = -0.35 - 0.2. Let k be ((-33)/(-6) - 7)*5/135*-6. Which is smaller: k or d?
d
Let v be 5 + 1486/(((-22782)/78)/1 - 5). Which is bigger: 1 or v?
1
Suppose -2 = -19*p + 36. Let z = -2.07 + 3.07. Which is smaller: z or p?
z
Let u(v) = 172*v**2 + 137*v - 134. Let i be u(1). Is i > 21?
True
Let w(p) = -54*p - 1488. Let t be w(-27). Is t >= -22?
False
Suppose 5*v = -3*s - 10, -15*s + 14*s = -5*v + 10. Which is smaller: v or 19/195?
19/195
Let o = -19425 + 19425. Is 84/139 equal to o?
False
Let a = 252 + 248. Suppose -3*m = 4*f - 49, -5*m + 0*m + 74 = -f. Let v be (5/m)/(3 - a/168). Is v at least 13?
True
Let g = 2/35607 + -8854280/106821. Is g greater than or equal to 2?
False
Let b be 28*5/(-175) - ((-864)/10)/(-2). Let i = -91 + 49. Is b equal to i?
False
Let c = -42788 + 42370. Suppose 2*v - v + q + 421 = 0, -3*q = -2*v - 827. Is c bigger than v?
False
Suppose 0 = h + 2*g - 14, 890*h - 887*h + g = 7. Which is smaller: -20/357 or h?
-20/357
Let k be 1 - -9 - (17 - 14). Suppose 5 + 13 = 9*p. Which is smaller: k or p?
p
Suppose -2*y + 10*y = 48. Let z be (3 + 3/(-3))*y/4. Let n be (-2 + z)*12/31. Does -1 = n?
False
Suppose 0 = -4*f + 2*k - 471 + 2561, -k - 522 = -f. Let v = 588 - f. Is v less than 62?
False
Let z = -260 + 230. Let k be 485/(-75) + 2*3/z. Let n = -0.08 - -0.18. Is k equal to n?
False
Let l be 2/6 - (640/30 + 5). Let u be (l/(-10) - 2)*95/19. Let g = 1281/10 - 249/2. Which is smaller: g or u?
u
Let p = 29/162 + -8488/46737. Which is smaller: p or 1?
p
Let k be (807/2)/((-60)/40). Is -1339/5 > k?
True
Let f = -139.941 + 140. Let k = -26.059 + f. Let r = k + 26. Which is smaller: -14 or r?
-14
Suppose 6790*a = 6742*a - 13584. Which is greater: -3112/11 or a?
-3112/11
Let m = -293 + 278.1. Let k = m + 14.9. Is k at least as big as 8.1?
False
Let j(f) = 4*f - 35. Let u = 72 - 65. Let g be j(u). Which is smaller: g or -9?
-9
Let u(d) = -d**3 + 8*d**2 + 101*d - 683. Let w be u(30). Do -0.1 and w have the same value?
False
Suppose -3*g + j = -38, 4*j = -3*g + 15 + 13. Suppose 9*r = g*r - 6. Let d be -14*(3 + r - 4). Which is bigger: d or -2?
-2
Suppose 2*d + 3 = -k, 5*k - 5 = 6*k + 3*d. Is 5/103 > k?
False
Let y = 3 + -2.4. Let s = 6 + -6.5. Let p = y + s. Which is greater: p or 9?
9
Suppose -7*m - 2626 = 6*m. Let w = 234 + m. Is 32 < w?
False
Suppose -764*y + 788*y - 24 = 0. Which is bigger: y or 16/173?
y
Let g be 4/6 + ((-38)/12 - 2305/(-922)). Is g not equal to -3/12440?
True
Suppose 2*v = -3*l - 3, 4*l + 2*v = -v - 5. Let r(j) be the second derivative of -j**4/12 + j**2/2 + 3458*j. Let c be r(l). Which is bigger: -2/55 or c?
c
Let p(a) = -5*a**2 + 49*a - 115. Let m be p(6). Is m less than 5/834?
True
Let h = 3.834 - 3.734. Is h at least 4323?
False
Let t = -201 + 156. Let h be 3/t*-3 - 477/(-15). Let g be 229/7 - (-8)/28. Is g