 = q - z. Is 4 less than n?
False
Let x be (3/4)/((-6)/52). Let u = -6 - x. Let j = 2/957 + -426/319. Which is smaller: u or j?
j
Let z(o) = -o + 3. Let a be z(1). Suppose -a = -0*n + n. Is -3/4 at least as big as n?
True
Let u(h) = -40*h**2 + 4*h + 17. Let g be u(-2). Is -153 at most as big as g?
True
Let r be (-3)/2*(-60)/18. Suppose 24*p - 29*p = r. Is p equal to -1?
True
Suppose -o + 17*o = 592. Which is bigger: 39 or o?
39
Let d = 4537/180 + -239/9. Do d and 0 have different values?
True
Let f be 6/((-4)/(24/(-9))). Let w be (11 - f)*12/(-7). Let i be 0*(-3)/w*4. Which is bigger: -2/7 or i?
i
Let r(v) = -2*v + 14. Let t = -8 - -10. Suppose 5*b = 0, -t*x + 14 = -0*x + 4*b. Let l be r(x). Is -4 not equal to l?
True
Suppose 2*r + 3*r = 20. Suppose 13 - 5 = r*l. Let b be ((-3)/(15/2))/((-15)/90). Is l greater than or equal to b?
False
Let y = -1079 + 973. Is -0.2 <= y?
False
Let i be 89/(-42) - (-2)/7. Let c be ((-10)/(-4))/((28/(-8))/(-7)). Suppose -y + c = 8. Is y bigger than i?
False
Suppose 70*f = 75*f - 15. Suppose -13*o = -7*o - 18. Is f greater than o?
False
Let c = -46 + 33. Let d = c + 17. Suppose -2*s = -3*s, -d*b - 4 = -3*s. Are -3/10 and b nonequal?
True
Suppose 14*c = 19*c - 15. Suppose -s = -c*d - 18, -2*d + 0*d - 2*s - 20 = 0. Suppose 5*m + 3*l - l = -30, -3*m - 2*l = 14. Which is greater: m or d?
d
Let y = -141 + 140. Which is bigger: -0.15 or y?
-0.15
Let q be (-25)/(-50) - 10/4. Which is smaller: -1/12 or q?
q
Suppose x + 5*g - 80 = 0, -4*x + 8*x = 3*g + 366. Is 90 > x?
False
Suppose -4*o = -6*o - 6*l - 2820, 3*o + 4218 = 3*l. Is o > -1407?
False
Let j be 15/(-6)*(-48)/(-504). Which is bigger: -2 or j?
j
Let j(h) = h**3 - 8*h**2 + 12*h - 6. Let r be j(5). Let d be (-4)/6*(32 + 1). Which is smaller: r or d?
d
Let n = 27 - 15. Let g = 14 - n. Let f be (4/(-8))/(1/g). Is -1/8 < f?
False
Let z(q) = q - 7. Let f be z(2). Let k(t) = -t**3 - 6*t**2 - 3*t + 1. Let b be k(f). Suppose 2*r - 18 = 4*r. Is r less than b?
False
Let t = -360 + 8282/23. Let y = 0.25 - 0.48. Let f = y + 0.13. Do t and f have the same value?
False
Let f = -650 - -653. Which is smaller: f or 2/3?
2/3
Suppose 2*r - 2*v = -236, 5*r + 391 + 205 = 2*v. Is -120 less than or equal to r?
True
Let h(n) = n**2 - 10*n + 8. Let x be h(6). Let g = -2469 - -2469. Which is greater: x or g?
g
Suppose -4*z = -2*z + 44. Let b(n) = 7*n + 20. Let v be b(15). Suppose -63 = 3*p - 3*a, -p = 4*p + 5*a + v. Which is smaller: p or z?
p
Suppose 0 = 15*y + 18 - 108. Which is greater: 57/8 or y?
57/8
Let m = 246361/5 - 50365. Let z = -1088 - m. Which is smaller: z or 5?
z
Suppose 2*h + 3*h - l = 5, 2*l = -10. Suppose h = 3*s - 9*s - 48. Suppose 0 = -3*x - 3*g - 30, 0 = 2*g + g + 12. Is s bigger than x?
False
Let q be (-1 + -3 + 9)*1. Suppose 0 = 5*y - q*o - 125, -7 = -2*y - 5*o + 64. Which is smaller: 26 or y?
26
Suppose 0 = -4*n + 20, -5*m + 8*n - 5 = 3*n. Let y be m/6*3*35. Let r be (-20)/y*6/(-8). Is 1 != r?
True
Let j be -1 + 1 + 2/(-47). Let x = -726 - -725. Is j at least x?
True
Suppose a - 23 = -3*b, -a - b = 2*a - 37. Let r = 37 - a. Suppose -3*z = -5*t + 42, 0 = -0*t - 3*t + 2*z + r. Is 6 <= t?
True
Suppose 4*p - 29 = 791. Which is bigger: 201 or p?
p
Let o(b) = b**3 + 36*b**2 + 50*b + 95. Let k be o(-35). Is -430 bigger than k?
False
Let i = 220 + -144. Suppose 0 = -5*z - 99 - i. Which is bigger: -36 or z?
z
Let x be -3*(-3 - -1) + (-14 - -9). Which is smaller: 3/728 or x?
3/728
Let a = -1 - -2. Let z = -12 + 19. Let u = -4 - z. Is a greater than or equal to u?
True
Suppose 9*l + 133 = 664. Is 62 less than l?
False
Let s(r) = r**2 + 5*r + 9. Let a be s(-3). Let x = -9 + 2. Let q = -2 - x. Which is greater: a or q?
q
Let j(q) = -q**2 + 4*q + 19. Suppose -i - 7*i = 48. Let o be j(i). Is o bigger than -42?
True
Let h = -1 + -6. Let d be ((-18)/(-32))/((6 - 2) + h). Which is greater: d or -1?
d
Let z = -784 + 486. Is z <= -298?
True
Suppose -60 = -5*w - 0*w. Let l = -15.85 + 0.55. Let n = -15.5 - l. Which is greater: n or w?
w
Let q(p) = -16*p - 303. Let g be q(-19). Is g > 48/25?
False
Let u = -2 - -2. Let i be (3/((-27)/174))/((-6)/9). Let l = 30 - i. Which is smaller: u or l?
u
Let o be 1/(52/268) + 18/(-117). Let c be (-2 - -1) + (-42)/(-8). Which is smaller: c or o?
c
Let u = 1.0738 + -0.0738. Is u less than or equal to -21?
False
Let x be (-3)/(-27)*(-9)/(-6). Let l(a) = -a**3 + a**2 - a + 1. Let r be l(1). Suppose 5*n = -q + 8, -2*q = -3*n - r*q - 3. Are n and x unequal?
True
Suppose r - 57 = 4*m, 1 = 2*r - 1. Suppose 0 = i + 3*l + 39, 7*i + 114 = 3*i + 2*l. Let u = i - -15. Is u at most as big as m?
True
Suppose 16*l = 15*l - y, -4*l + 18 = -2*y. Which is smaller: -20 or l?
-20
Let r = 11 - 22.9. Let k = r - -12. Let z = 19 + -29. Which is smaller: k or z?
z
Let f(s) = s**3 - 8*s**2 - s + 5. Let l be 7 + (-3)/(-6)*(-1 + 3). Let h be f(l). Which is greater: -8 or h?
h
Suppose 26 = -6*c + 8. Let x be (-3)/7 - (-1)/(-7)*c. Which is smaller: -3 or x?
-3
Let k = 102 - 121. Is k greater than -32?
True
Let o = 76 + -77.03. Which is bigger: o or -5?
o
Let j = -523/4 - -130. Let x = 371 + -366.14. Let o = 1.14 + x. Which is greater: j or o?
o
Let k be ((-46)/(-6))/(3/3). Suppose 2*r - 9 = r. Is k bigger than r?
False
Suppose 2*n - 12 = -0*n. Suppose x - 5 = n. Is x equal to 11?
True
Let m be (-15)/(-6)*30/75*-43. Which is smaller: m or -42?
m
Let v = 17 + -16. Let t be v*((-8)/(-20))/((-1)/30). Is t smaller than 1?
True
Let o be ((-30)/20)/((-1)/6). Let z be ((-3)/o)/((-3)/(-36)). Let s be z/(-6) - (-16)/(-24). Is s at most 1?
True
Let v be 4 + (33946/771)/(-11). Which is smaller: 1 or v?
v
Let r(o) = 2*o - 8. Let j be r(5). Suppose -j = -2*t - 16. Let k = -64/9 - t. Is k smaller than 1?
True
Let n(g) = -g - 4. Let q be n(-5). Let c = -363 + 359. Let b be (q - 7)/(c - -6). Is -9/5 < b?
False
Let r = -17 - -5. Let o = -13.2 - -0.2. Let q = r - o. Which is smaller: q or 7?
q
Suppose -2*j = -6*j + 56. Which is greater: 6 or j?
j
Let n be 1/(1 + 39/(-6)). Let q = 0.4 + -3.6. Let b = -2.9 - q. Which is greater: b or n?
b
Let f = -115/492 - 2/123. Let s be (-5 - (-447)/93)*(-4)/(-6). Which is smaller: s or f?
f
Suppose 0 = -3*c + 31 - 4. Let m be -2 + (-3)/c*-9. Let i be ((-12)/15)/(m/(-5)). Which is bigger: i or 2?
i
Let s be 4/(-10) + 62/5. Suppose 0 = 13*p - 112 - 57. Is s at least as big as p?
False
Suppose 0 = -5*g + m - 23, -4*m + 7 = 5*g + 15. Suppose -67*n = 45 + 89. Is n <= g?
False
Let t = -0.02 + -15.98. Let y = -58.2 + 58. Let q = y + 1.2. Which is smaller: q or t?
t
Let f be -4 + (-1)/(-320)*1286. Let w = f + 1271/480. Let s = -5 - -7. Is w less than or equal to s?
False
Let b be ((-292)/8)/((-7)/2 - -3). Let w = -437/6 + b. Let v(l) = -l - 3. Let o be v(-3). Are o and w unequal?
True
Let l(r) = -69*r**2 + 4*r - 5. Let b be l(-4). Let c = b + 12339/11. Is -3 < c?
False
Suppose -2*u - 8 = 0, -2*u - 14 = 3*s + 12. Let q(w) = w**3 + 11*w**2 + 16*w + 10. Let n be q(-9). Suppose -12 = 5*i + n. Is i smaller than s?
True
Let b = 4.51 - 3.51. Do 0.62 and b have different values?
True
Let c = 9/17 - 115/153. Suppose -3*x - z = -16, -2*z - 44 + 10 = -5*x. Let l be 0*(x/(-3) - -1). Is l at least as big as c?
True
Let q = -0.0066 + -20.9934. Is q equal to -1?
False
Suppose -8*j = -5*j - 30. Suppose l + 9 = -n, -2*l - 7 = n + j. Let a(o) = o**2 + 10*o + 8. Let b be a(l). Which is greater: -1 or b?
-1
Suppose -w + 5 = 2. Let m(x) = x**2 - 3*x + 2 + 0 + 0*x. Let b be m(w). Does 1/2 = b?
False
Let p(k) = -4*k + 68. Let m be p(17). Which is bigger: m or 4/39?
4/39
Let m(i) = -32*i + 4. Let c be m(2). Let j be -3 + (-417)/c - 4. Suppose 4*b - 4 = 4*h, -4*h + 5*b + 0*b - 5 = 0. Which is bigger: h or j?
h
Let o = -1.94 + 2.24. Which is smaller: 1.2 or o?
o
Let m = -2 + 2. Suppose 0 = -m*d + 5*d. Let q = -752/5 - -150. Which is bigger: q or d?
d
Let l(s) = -s**2 + 5*s - 29. Let h be l(9). Let g = h - -60. Is g >= -6?
True
Suppose -5*f + 5*k = -10*f + 320, 0 = -f - 2*k + 68. Let j = -181854 - -3820192/21. Let i = j - f. Do 0 and i have the same value?
False
Let h = 101 + -302/3. Which is bigger: -48/13 or h?
h
Let h = -28 + 28. Suppose 4*r + 24 + h = 0. Is -6 greater than r?
False
Let x(u) = -u**2 + 6. Let r be x(3). Is 32 less than or equal to r?
False
Suppose 108 = -2*p - 4*s, 4*p - 24*s = 