ual to x?
True
Let x(n) = n + 9. Suppose 8*s - 2*s = 0. Suppose s = -h - 3*h - 32. Let i be x(h). Is i at least as big as -1/11?
True
Let t be (-8*9/288)/((-1)/84). Which is greater: 270/13 or t?
t
Let i = -4 + 4.06. Let s = -7.4 - -7.9. Which is smaller: i or s?
i
Let x be (-9)/(-12)*16/(-18). Let t = 117 + -821/7. Is t bigger than x?
True
Let s be (-4 + 2 - -2)/2. Suppose s = 2*i + 6*z - 2*z - 4, -i = -2*z + 18. Which is greater: -9 or i?
i
Let s be 1585*(-8)/280 + 2/7. Are 6 and s equal?
False
Let k = 25/3 - 59/7. Suppose 2*n + 10 = -g, 4*n - n = g. Let l(i) = 2*i + 12. Let c be l(g). Which is bigger: c or k?
c
Suppose 687 = -15*z - 123. Is z != -57?
True
Let q = -67 + 173. Are 0 and q equal?
False
Let f(x) = -5*x**2 - 170*x - 25. Let n be f(-34). Is n equal to -28?
False
Let f = -36 + 39. Let v be (f/(-3) + 3)/2. Are 2 and v nonequal?
True
Let r(y) = -20*y - 86. Let l be r(-52). Is l greater than 955?
False
Suppose i - 11 - 7 = 3*q, 2*i - q - 21 = 0. Suppose 7*j = i*j. Is j at least 1/30?
False
Let j be (8/(-8))/(1/(-113)*1). Is j >= 114?
False
Let l be (-410)/(-35) + -15 - (0 + 3). Let m = -52899 + 1481327/28. Let u = m + l. Is 0 > u?
True
Suppose -5*i - 2*o + 8 = -9*i, 2*i + 12 = 5*o. Is i at most as big as -24/29?
True
Let h be (-2 - -2)*-1*1. Let j = 112950/17 - 6644. Is j greater than h?
True
Let t be 15/(-25) + ((-476)/(-10) - -1). Suppose 2*r + 3*r = -2*n - 23, 3*r + t = -5*n. Which is smaller: n or -8?
n
Let l be (-23)/(-12) - (-6)/(-24). Suppose 0*s = -5*s - 65. Let m = 16 + s. Are l and m nonequal?
True
Let g(d) = d**2 + 2*d + 3. Let p be g(-2). Let s be (-2)/6 + 7/p. Let w = 81/28 + -8/7. Which is smaller: s or w?
w
Suppose 2863 = 11*b + 2885. Let p = -0.924 + -0.036. Let w = p + 1. Is b at most as big as w?
True
Suppose 0*j - 5*j = -15. Let x be (4 + 2)/(2/j). Suppose -7*m + 3 = -2*m - p, -3*p - x = -4*m. Is m at least as big as -3?
True
Let f be (10/4)/(18/(-1944)). Which is greater: f or -539/2?
-539/2
Let t(p) = -p**3 + 2*p**2 - p + 1. Let l be t(0). Suppose -5*a + l = 16. Which is smaller: 1/4 or a?
a
Suppose -7 + 1 = 3*y. Let s be ((-940)/112 - (-6)/(-7)) + 9. Which is smaller: y or s?
y
Let q = -0.31 + 0.21. Suppose -v = -5*c - 242, -4*c + 3*v - 200 = -v. Let o = c - -29. Which is greater: q or o?
q
Let i = 143 + -108.5. Let u = 1.5 + i. Let x = -36 + u. Does -1/7 = x?
False
Let u = 10 - 4. Suppose -4*h = -u*h - 2. Let m be (4/(-34))/(2/4). Is m > h?
True
Let a = -472 - -550. Which is smaller: 81 or a?
a
Let b(x) = -2*x**3 + x**2 - x - 2. Let h be b(2). Let n be (3/4)/((-2)/h). Suppose 0 = 109*k - 105*k - 28. Are k and n equal?
False
Let v = -63612/671 + 1032/11. Let u = v + -194/671. Which is smaller: u or -1?
u
Let l = -0.22 - -0.47. Let t = l - 0.07. Is 0.2 <= t?
False
Let t be 169/(1*(-12)/60). Which is smaller: -846 or t?
-846
Let i = -18 + 19.9. Let z be 1/1*(-41)/41. Which is smaller: z or i?
z
Suppose k + 4*l + 20 = 0, -10 = -2*k - 5*l - 41. Let c = 4 + k. Which is smaller: c or -2/11?
c
Let v(g) = 12*g - 5. Let i be v(-3). Suppose -3*w = 5*m + 123, 263 = -5*w + 5*m + 58. Is w less than or equal to i?
True
Let s(w) = 4*w - 64. Let p be s(11). Let g be 25/80*(2 + 36/p). Let q = 0 + 0. Which is greater: q or g?
g
Let w = -90 + 90.19. Is w greater than 0.09?
True
Let n be (-80)/300*(-27)/60. Which is greater: 0 or n?
n
Suppose -5*f - j + 1025 = 0, 2*j = -3*f + 827 - 219. Are 207 and f nonequal?
True
Let w(d) = d**2 - 40*d + 338. Let b be w(12). Which is smaller: -26 or b?
-26
Suppose 4*u - 99 = 29. Let v = u - -5. Which is smaller: 35 or v?
35
Suppose -s - 32 = -33. Let p be (s - (1 - 0)) + 20/(-15). Do 0.4 and p have different values?
True
Let r = -2.211 + 0.011. Let w = 0.03 - -0.07. Is w at most r?
False
Let q be ((-3)/(102/(-4)))/(-1). Let j be 5 + 7/(-1) - -2. Which is smaller: j or q?
q
Suppose -2*f + 0*f = 20. Let n = f + 17. Let m be (-17)/2*(-186)/527. Is n bigger than m?
True
Suppose -630 = -3*f + i, -5*f + 5*i - i = -1050. Let b be -4*(-3)/f*-30. Which is bigger: -1 or b?
-1
Let t be 33 + 0 - (-3)/(12/(-16)). Which is greater: 26 or t?
t
Let r = 48.4 + -59. Let b = r + 9. Let p = b + 1.5. Is 2/11 at least p?
True
Let y = -1.07 - -0.07. Let d = -0.35 + 0.6. Let p = 0.15 - d. Which is smaller: p or y?
y
Let v = -97 + 144. Suppose -5*m = c - 30, 2*c - v = -3*m - 8. Which is smaller: c or 13?
13
Let b = 41/15 + -111/40. Which is greater: -1 or b?
b
Let b = 88 + -150. Let z = b + 62.1. Which is greater: z or 7?
7
Let h be 0 + (-2 - -1)*0. Let u = -459/7 + 66. Is h less than u?
True
Let j(d) = -d**2 + 2. Let k be j(-2). Let q be (-27 + 7)*2/2. Let t = 39/2 + q. Is k at least t?
False
Suppose 0 = -p - 2*s - 242, 0*p - 3*s + 232 = -p. Which is bigger: -237 or p?
-237
Let k = -3.03 + 0.03. Let f be 2556/24 + 1 + 2. Let h = -109 + f. Which is greater: k or h?
h
Let q = -4940/3 + 1617. Let x = q - -29. Which is bigger: -2.2 or x?
x
Let s(r) = 31*r + 20. Let f be s(-6). Let z = f - -141. Which is greater: z or -26?
z
Let h = 85 + -81.3. Let c = 4.7 - h. Let o = 212/555 - -2/111. Is c at least o?
True
Let f be 936097*(-2)/468050 - -4. Let h = f - -2846446018/4446475. Let o = -640 + h. Which is bigger: o or -1?
o
Let v = 0 - -1. Let d = 3639/7 + -520. Which is greater: v or d?
v
Let g(r) = 71*r**2 + 6*r + 7. Let a(q) = -4*q + 51. Let b be a(13). Let n be g(b). Which is smaller: -1/2 or n?
-1/2
Suppose -5*f - 4*x = -25, -4*f + 2*x + 10 = -2*f. Is 76/15 at least as big as f?
True
Let a = -12 + 4.22. Let b = 8 + a. Let f = -1.78 - b. Which is bigger: f or 2?
2
Suppose 3*y + 3*n = 15, 2*y - 6*y + 2*n - 4 = 0. Let f = -1/236 + 1201/4956. Is y != f?
True
Let b = 4.6 + -23.2. Let y = 1.6 + b. Which is smaller: 1 or y?
y
Suppose -1 = -3*j + 2. Let r be -2*(-2 - -1) - -3. Let h = 4 - r. Is h greater than j?
False
Let v = -15/11 + 21/11. Is v at most -0.17?
False
Let i = -2.934 - 0.066. Is -8 greater than or equal to i?
False
Let c = -81 - -81.097. Is c != 0.2?
True
Let j = 11.1 + -10.1. Which is smaller: j or -1/17?
-1/17
Let h = -1.493 + -0.087. Let w = h - -0.08. Which is smaller: w or 0?
w
Let o be (2 + (-384)/165)/(18/(-45)). Let y be (5/2)/((-66)/(-4)). Let p = y - o. Is 1 greater than p?
True
Let w = -105.2 + 41. Let s = 64 + w. Is -0.06 smaller than s?
False
Suppose 5*d - 4*t - 1 - 9 = 0, -5*d = t - 35. Let x be (22/33)/((-4)/d). Let r = -25754/37 - -696. Which is smaller: r or x?
x
Let q(u) be the second derivative of -u**4/12 + 5*u**3/6 + 7*u**2/2 - 4*u. Let h be q(5). Which is smaller: h or 4?
4
Let y = 0.18 - -0.02. Let o = y + -0.1. Let w = -4/21 - -95/168. Is w not equal to o?
True
Suppose y - 24 = -2*y. Suppose 40 = -y*o + 3*o. Let q = o + 6. Which is greater: 3 or q?
3
Let i(l) = l**2 - 45*l - 261. Let g be i(45). Which is greater: -262 or g?
g
Let c = -8.8 - -15.2. Let u = c + -1.4. Is u > 1/3?
True
Suppose 0*h = h - 17. Let k(f) = f**2 + 5*f - 132. Let o be k(-15). Which is smaller: o or h?
h
Suppose 0 = 2*b - 5*b - 5*n + 182, 4*b - 5*n = 266. Let t = b + -43. Which is greater: 0.2 or t?
t
Let m(z) = -z**2 + 5*z - 3. Let r be m(3). Suppose 0 + r = -3*s. Which is smaller: -1/30 or s?
s
Let z be 0 + (-25)/(-112) - 10/35. Which is smaller: z or 1?
z
Let l(j) = j**2 - 11*j + 21. Let o be l(9). Let h be (3/2)/(o/1). Which is smaller: 28 or h?
h
Let w = 65 + -62. Which is greater: 50/19 or w?
w
Let r(x) = x**3 + 7*x**2 + 3. Let c be r(-7). Suppose -5*k - 2 = -c*k. Which is greater: -3 or k?
k
Let z = 2803 + -2805. Do z and -9 have the same value?
False
Let s = 0.187 + 18.413. Let o = s + -36.6. Let a = -0.2 - -0.3. Is o at most as big as a?
True
Let l = 4 + -4.3. Let u(a) = a - 15. Let s be u(9). Let t be (-10)/(-4)*s/(-5). Which is smaller: t or l?
l
Let t be 516/26 - 6/(-39). Suppose -4*w = w - t. Let l be w/(-16)*0 - 1. Is l < -2/3?
True
Suppose -5*n = -5*t - 65, 2*t - 5*n + 7*n = -30. Let m = -2 + -12. Is t equal to m?
True
Suppose 2*v + 2*t - 12 = 0, 0 = 3*v + 2*v - 3*t - 62. Let h be 3 - (v/(-9))/((-1)/6). Which is greater: -3 or h?
-3
Let f = -47 - -47.8. Let u = -4 + 4.4. Let g = u - 0.3. Which is smaller: g or f?
g
Suppose -5*r - 2*q - 4 = 0, 4*r = 8*q - 6*q + 4. Which is greater: 6/47 or r?
6/47
Let t = 4 - -5. Do t and 1 have the same value?
False
Let p = 205 - 391/2. Do 11 and p have different values?