 is greater: 1 or l?
l
Let j = 35 + -33. Suppose 2*l + 1 = r, 2*r - 1 = -j*r + 5*l. Is 3/55 > r?
True
Let d = -362 + 1085/3. Is 495 at most d?
False
Suppose -72*f + 70*f - 462 = -4*v, -2*f = 5*v + 435. Does -903/4 = f?
False
Suppose -51 - 12 = 7*p. Let d be (p/2)/(-2 - (-8 - -3)). Let t(i) = -i - 8. Let x be t(-7). Is x > d?
True
Let g = -62 - -37. Let y be 17 + -5*20/g. Which is smaller: y or 22?
y
Let z = -188029/16272 - 1/5424. Let o = z + 169/45. Is o greater than -9?
True
Let l = -27 - -26.9. Which is smaller: 2.34 or l?
l
Let y = -13418/5 - -2675. Which is smaller: -8 or y?
y
Let j = 0.18 + 0.09. Let q = j - 5.27. Are q and 1/6 non-equal?
True
Let w = 15.98 - 16. Let x = 22 - 21.82. Let y = w - x. Do y and 1/3 have the same value?
False
Suppose 910*c - 148 = 906*c. Is c bigger than 35?
True
Let p = -802/195 + -8/195. Are -0.1 and p non-equal?
True
Suppose -i - 4*i - 105 = 0. Let d = 10 + i. Is d at least -8?
False
Let k(o) = o - 5. Let z be -1 + 4 + (4 - 3). Let m be k(z). Which is greater: -2/97 or m?
-2/97
Let h be (14/((-42)/3249))/5. Which is bigger: -217 or h?
h
Let j = -238 + 357. Let a = j + -83. Let r = a + -25. Which is smaller: 10 or r?
10
Let o = -6 - -15. Suppose -4*i + o = -3. Do 3 and i have the same value?
True
Suppose 3*k - 4 = 2*m, 2*k = 5*k - 5*m - 1. Let l(z) = -3*z + 9. Let c(i) = i + 1. Let n(h) = 2*c(h) - l(h). Let f be n(2). Which is greater: k or f?
f
Suppose -3*x + 1 = -r, 4 = -x + 2*x - 4*r. Suppose x = -0*w + 3*w + 4*w. Let y(q) = -q**2 - q + 1. Let j be y(-2). Which is bigger: j or w?
w
Let g be 3 + (5 - (-1 - 3)). Suppose 5*y - 3*p = 9, 0*y - 4*p = -y + g. Let m = 937/1351 + 4/193. Are y and m equal?
False
Let u = 41 - 45. Let b be 129/(-6) + 6/u + -2. Is -26 <= b?
True
Let q = -5 - -5.3. Suppose -2*n = 5*z - 13, 3*z = -n + 4 + 3. Suppose 0 = -3*i - 4*r + 1, r + 5 = -2*i + n*r. Which is greater: q or i?
q
Let l(p) = -p**3 - p**2 + 8*p + 7. Let w be l(-3). Let n = 581/11 + -53. Which is bigger: w or n?
w
Let w be 2/(-6)*2/(-16). Let y(j) = 2*j + 43. Let o be y(-21). Let z be (2/o)/((-12)/(-6)). Which is smaller: z or w?
w
Let i = -76 - -106. Let h be (((-3)/i)/1)/1. Is -1 equal to h?
False
Suppose 0 = -9*i + 14*i - 5. Suppose 6 = -5*t + i. Is -1/3 at most t?
False
Suppose -4*j = 8 - 48. Suppose -1 = -5*l - 4*v, -5*l = -7*v + 2*v - j. Is -1/8 < l?
True
Suppose -52*p - 483 = 817. Suppose -2*u = -4*u - y - 3, -u + 2*y + 6 = 0. Which is bigger: p or u?
u
Let b = -5 - 1. Let y = -3626 + 3619. Which is smaller: b or y?
y
Suppose 15*x + 43*x = -18734. Is -321 bigger than x?
True
Suppose -2*o - 273 = 2*x + x, 3*o = 2*x - 390. Let i be (2/4 - -1) + o/120. Which is greater: 21 or i?
21
Let g be (-11)/10 + 6/4. Is g at most 0.77?
True
Let b = 748 + -748. Are 1/1054 and b nonequal?
True
Let c = -75.6 + 1.8. Let y = -72 - c. Is y smaller than -2?
False
Let o be (2 - (-4 - 36/(-8)))/(-6). Let s = 197/2170 + 2/217. Which is bigger: o or s?
s
Let i be (-5*1)/(19665/342). Suppose -4*g - 3*w = -2*w - 9, -w = -g + 1. Suppose -3*y - g = 2*z - 3, 3*y - 4 = z. Which is smaller: z or i?
z
Let b(m) = -m**2 - 6*m - 4. Let o be b(-5). Let q(y) = y - 1. Let n be q(o). Let z = 103/4 + -25. Which is greater: z or n?
z
Let x = 37 - 36.7. Let j = 23/3 + -19/3. Let t = j + -1. Are t and x non-equal?
True
Let r(x) be the first derivative of x**2/2 - 9*x + 1. Suppose -3*t - u = -24, 4*t + 3*u - 33 = 2*u. Let y be r(t). Which is greater: -1 or y?
y
Let o(h) = -h**2 - 11*h + 178. Let k be o(-20). Which is smaller: -40/13 or k?
-40/13
Let w = -0.166 - 114.834. Let x = -152/7 + 22. Is w <= x?
True
Let q = -1098 - -1148.1. Let v = q + -51. Which is smaller: v or 1?
v
Let a = 30 - 30. Suppose 8 = -k + 2*k. Suppose -k = -f + 3*f. Which is smaller: a or f?
f
Let c(l) = -l**3 + 10*l**2 - 5*l - 46. Let p be c(9). Which is bigger: -16 or p?
p
Suppose -2*g = -4*z - z + 9, -24 = -3*g - 5*z. Let y(n) = 2*n - 20. Let m be y(13). Suppose g = -3*x + m*x. Which is smaller: x or 1/6?
1/6
Let t = 2 - 3. Suppose -4*g - 67 = -5*m, 2*m + 53 = -3*g + 3*m. Let w = g + 217/12. Which is greater: t or w?
w
Let c be 6*(-8)/96*2. Is 3/845 bigger than c?
True
Suppose 2*z = 4*q - 74, 3*q - 8*q + 85 = 5*z. Suppose -4*w - 5 = -3*u - 2*u, u + q = -3*w. Is -1 bigger than u?
True
Let z = -49.792 - -50. Which is smaller: -0.1 or z?
-0.1
Let d(x) = -x**2 + 4*x + 8. Let c be d(6). Suppose 0 = -2*q + 6*q - 360. Let j be (3/q)/(c/(-16)). Is -1 at least j?
False
Let h be 2225/(-100)*2*4. Is h equal to -176?
False
Let l = 55.16 + -55. Let t = 1.84 + l. Is t less than 0.07?
False
Let w = -27/2 - -11. Let m = 23/66 + -1/66. Which is smaller: m or w?
w
Let p = -24.9 + 25. Do p and -50 have the same value?
False
Suppose -l + 3*u = -6, 4*u + 8 = 4*l - 8. Which is smaller: l or 0.101?
0.101
Let m = -1.3 + 2.8. Let l = m + -13.5. Let x = l - -19. Which is smaller: -0.1 or x?
-0.1
Let u be 714/(-85) - (2 - 10). Let w = 107.24 + -99.3. Let j = -8 + w. Which is bigger: u or j?
j
Let c = -15977/5 - -3209. Is c at least 15?
False
Let q = 583 - 593. Which is smaller: -1/2 or q?
q
Let m = 49 - -40. Is m bigger than 3?
True
Suppose -3*u + 4*u = -7. Let i be (-6)/9*6/(-4). Let d be ((-3 - 9) + 4)/i. Which is greater: d or u?
u
Let m = -140 - -129. Is -17 at most as big as m?
True
Suppose 2*m + s + 2 = 4*s, -5*s + 10 = -5*m. Let l = -4/109 - 1619/436. Are l and m non-equal?
True
Suppose -5*v = -30*v + 25. Is 1/2568 <= v?
True
Suppose 2*f = 29 - 21. Suppose -f*p = 3*m - 104, -4*m + 97 = -0*p - 3*p. Which is bigger: 2 or m?
m
Let w = 2086 + -52167/25. Is w bigger than 0?
False
Let s = -5/109 - -1612/28013. Which is greater: -1 or s?
s
Let d(q) = 53*q - 733. Let j be d(14). Which is smaller: j or 132/13?
j
Let a = -228.021 + 228. Which is smaller: a or 0.1?
a
Let t = -889 + 9859/19. Let p = t - -370. Let i = -13 - -14. Are p and i unequal?
True
Suppose 0*a + 5*a = -k - 4, 5*a + 12 = -3*k. Suppose a*r = r. Suppose r = n - 15. Is 15 equal to n?
True
Suppose 18*f - 2 = 20*f. Let t be -7 - -8 - (-2)/f. Which is smaller: -1/24 or t?
t
Suppose 2*p - 1 = -3*v, 2*v + 3 = 4*p - 7. Suppose -4*g - 24 = 4*z, 8 = 2*z - 4*g - 4. Let a be -1 - (p + -1 + z). Is a at least as big as -1/19?
True
Let a(p) = -p**3 - 6*p**2 - 6*p - 3. Let b be a(-5). Let z = -13.22 + 13. Let l = -3.22 - z. Is l greater than b?
False
Suppose -3*z + 12 = 0, 348 = f - 5*f - 5*z. Is f at most -94?
False
Suppose -2*w + 2*z = -91 - 9, 0 = 2*w - 3*z - 95. Is w less than 109/2?
False
Suppose -2*t + 21 = -t. Let x be (-2)/12*12/t. Let g = -2.062 - -0.062. Are g and x nonequal?
True
Suppose 2*p + 14 = 3*b, -6*b - 10 = -7*b - 2*p. Suppose w + w - 2*o - 6 = 0, -5*o - 19 = -w. Is b equal to w?
False
Let k(f) = f**2 + 38*f + 169. Let z be k(-32). Which is greater: z or -11?
-11
Let b be (-6)/(-4)*(-1)/(-3). Let q be (9/(-9))/(0 - 1). Suppose -4 = -3*v - 2*n + q, 4*v = -3*n + 7. Which is smaller: b or v?
b
Suppose 4*y + 39 + 201 = 0. Let d(l) = -8*l - 28. Let w be d(4). Is y >= w?
True
Let t(z) = -z + 7. Let o(s) = s**2 - 7*s + 2. Let b be o(7). Let y be t(b). Suppose q = -y*j - q - 129, -4*j = 5*q + 110. Are j and -24 equal?
False
Let h be (-37)/(-3) - 14/(-21). Suppose 0 = 3*n - h - 2. Which is greater: 6 or n?
6
Let s(r) = -5*r. Suppose -n + 10 = -3*j, -n = 4*j - 5*n. Let i be s(j). Let y be 10/i - 34/10. Which is greater: y or -2?
-2
Let d = 9.6 + 1.4. Let w = d - 11.3. Is 8 at most as big as w?
False
Let r = -1/6526114 - -118794853183/267570674. Let d = 444 - r. Is d less than or equal to -0.1?
False
Suppose -4*m + 57 = 3*c - 28, 3*c - 47 = -2*m. Suppose -120 = 3*y + y. Let p = y + m. Is p != -11?
False
Let x be (((-2304)/(-16))/16)/((-22)/(-24)). Which is smaller: 10 or x?
x
Let u be 276/8*2/(-3). Let z = -42 - -19. Do u and z have different values?
False
Let p be ((-6)/1808)/(648/(-13017573)). Let s = p + 1/7232. Let r = s - 65. Is 2 less than r?
False
Let c(g) = 6*g - 70. Let x be c(12). Which is greater: 20 or x?
20
Suppose -14*k - 41 = -55*k. Is k > 24?
False
Let b = -2599 + 298887/115. Is b != 0?
True
Suppose -3*a + 6 + 0 = 0. Let w = -168 + 167.95. Which is greater: w or a?
a
Let t be (-80)/(-60) + (-32)/6. Is t < -23/5?
False
Let m be 399/28 - (-1)/(-4). Suppose -18 = -0*f - 2*f - 5*j, 0 = 4*f + 3*j - 36. Suppose 0 = 5*w + m - f. Are w and 