-4*g = 4. Is r <= u?
False
Suppose -8 + 24 = 4*p. Suppose -p*f + 19 = -17. Suppose 36 = 2*l + 2*l. Is l < f?
False
Let f = -0.062 + 21.062. Let r = f - 20.9. Which is greater: -0.7 or r?
r
Suppose -4*c - 4*k - 46 = -650, 0 = 3*k + 9. Suppose 4*l + 3*l - c = 0. Let j = 65/3 - l. Is j < 2?
True
Suppose 6*q - 6 = -0*q. Let b be q + (2/6 - 1). Which is smaller: b or 1?
b
Let g(z) = -5*z**2 - 61*z - 11. Let q be g(-12). Which is smaller: q or -107?
-107
Let k(x) = 25*x - 73. Let j be k(3). Is j less than 112/39?
True
Let c be 0 + 0 + 20/12. Suppose 2*w - 5*r - 6 = -2*w, -2*r = -4. Suppose 7 = -j + 4*h, -4*h + w + 7 = 3*j. Which is greater: c or j?
c
Let g(f) = 59*f - 355. Let x be g(6). Which is smaller: -2/1019 or x?
x
Let x(j) = 4*j**2 - 13*j - 65. Let c be x(-8). Let v be c/(-3) - (-10)/(-15). Do v and -100 have different values?
True
Let j(q) = -q**2 - 7*q - 5. Let b be j(8). Are b and -125 nonequal?
False
Let v = -2.5 + -0.6. Let o = v + 0.1. Let u = 3.0971 - 0.0971. Is u > o?
True
Let g(l) = l**2 - 9*l + 28. Let a be g(3). Are -2/13 and a equal?
False
Suppose 0 = 4*w + 2*h + 3*h - 135, 3*h = 3*w - 108. Let s be (5 + 0)*1/w. Let i be (-24)/(-14) - (-2)/7. Is s less than i?
True
Let s(w) = 4*w + 8. Let r be s(0). Suppose 10*v - 12*v = -r. Is v > 3?
True
Let r = 24 + -27. Let y be (r/(4 - 1))/((-4)/(-8)). Which is smaller: y or -8/5?
y
Let s(x) = -2*x + 4. Let p be s(-2). Suppose 4*u - 4*w + 4 = 0, -4*u + w - 3 = -p. Which is greater: 1 or u?
u
Let d = -2.36 - -1.35. Let g = 0.9 + d. Is 3/5 not equal to g?
True
Let d = 37.896 - -0.104. Which is greater: d or 2?
d
Let b = 971.0277 - 1.9477. Let m = b - 948. Let u = m + -21. Is u > 0.2?
False
Suppose -2*z = 2*k + 476, 0*z - 3*z - 714 = -k. Let t be 22/z + 16/(-56). Let x = t - -4/17. Is x at most -0.1?
True
Let y be (-2)/3 - (-92)/3. Let t = 186 + -556/3. Which is greater: t or y?
y
Let j = -54 - -59. Suppose 8*s + 9 = -5*l + 5*s, -3*s = -j*l + 9. Is -1/124 at most as big as l?
True
Suppose 144*p = 138*p + 6. Suppose -2*h - k - 638 = -3*k, -1271 = 4*h + k. Let y be 2 + (2 - h/(-81)). Is y at most as big as p?
True
Let w be (-2)/8 - (6030/40 + -8). Is -144 greater than or equal to w?
False
Suppose -5*g + 177*c - 178*c - 1028 = 0, c - 620 = 3*g. Which is bigger: -209 or g?
g
Let k(m) = -12*m + 92. Let l be k(13). Which is greater: -65 or l?
l
Let c = -30/29 + 243/319. Is c at most 1/2?
True
Let g = 576 + -576.1. Is g greater than 5.94?
False
Let r(g) be the third derivative of g**6/60 - g**5/20 + g**4/24 - g**3/6 + g**2. Let y be r(2). Suppose 10 = 2*z, -4*p + y = 2*z + 3. Which is smaller: p or -3?
-3
Suppose -288 = 22*f - 14*f. Let z(y) = -35*y**2. Let o be z(1). Which is smaller: f or o?
f
Suppose -25*w = -14 - 11. Let y be (-4)/(-3)*(-6)/34. Which is smaller: y or w?
y
Let x = 0.551 - 0.031. Let s = -18.52 + x. Which is greater: -2/7 or s?
-2/7
Let j(a) = a**3 - 54*a**2 - 64*a + 495. Let d be j(55). Which is bigger: 1/387 or d?
1/387
Let a(r) = -7*r + 2*r**2 - 3*r**2 + 7 + 0*r**2. Suppose 95 = -6*d + 53. Let x be a(d). Is x less than 5?
False
Suppose 0 = 5*x + j - 53, 2*j + 4 = 10. Let i be 20*(-2 + 2 - -2). Suppose 0*u = 4*u - i. Is u at least x?
True
Let r = -22 + 27. Let k be -1*1/(3 - r). Which is smaller: 11 or k?
k
Let l = 0.0893 - -0.5107. Let a = -1 + 1.1. Is l at least as big as a?
True
Suppose 2*c - 23 = -5. Suppose 2*d - 23 = -5*o + 4*o, -38 = -2*o + 4*d. Suppose 5*l - o = 2*l. Which is greater: l or c?
c
Suppose 1287 = 22*a + 11*a. Is 45 greater than a?
True
Suppose 4*x - 216 = -5*r, 2*r + 4*x = r + 56. Suppose 0 = -2*k + 4*g - 2, -4*k + 11 + r = 3*g. Are 9 and k nonequal?
False
Let x(b) = b + 38. Let l be x(-24). Let m(n) = -5*n + 48. Let k be m(l). Let d(p) = 11*p - 1. Let y be d(-2). Is y less than k?
True
Let z be 3/9 - 5/(-3). Suppose -z = 2*b + 4. Let a be (-4)/(-6) - 42/9. Which is smaller: b or a?
a
Let m = 0.8 + -0.5. Let k = m - 0.55. Let r = 517 + -518. Is r at least k?
False
Suppose 0 = -5*x - 9 - 16. Let y = x - -2. Let l be y - (-1 + -1) - 0. Is 3 at least l?
True
Let b = 4.91 + -2.91. Let o be 28/6 + 11/(-66). Is b >= o?
False
Let v(d) = d**3 - 43 + d**2 + 42 - d**2 + d**2. Let j be v(1). Suppose 3*g - 2*g = -j. Which is greater: -2 or g?
g
Suppose -2*h + 2*o = 2*h + 22, 0 = -4*o - 4. Let p(u) = -u**3 - 7*u**2 - 5*u + 7. Let r be p(h). Let c = 693/5 - 138. Which is smaller: r or c?
c
Let r be 6*3*13/234. Which is smaller: 14/13 or r?
r
Suppose 2*b - 8*b - 48 = 0. Which is smaller: b or 3?
b
Let s be (-3536)/(-25662) - -4*(-1)/42. Suppose 5*v + 4 = -4*c, 3 = 2*c - 2*v + 5. Which is greater: s or c?
s
Let u be 4*2/8 + 2. Suppose -u*p - 10 = -4*p. Suppose -6 = -2*r + 14. Is r at least p?
True
Suppose 32 + 64 = -3*s. Let i = s + 53. Let c = i - -4. Is 1 not equal to c?
True
Let u be (-12)/81*12/8. Which is smaller: -3 or u?
-3
Let b = -0.03 + 4.03. Let t = 13363 - 13362.6. Which is smaller: t or b?
t
Let a(h) = h + 10. Let b = -22 + 10. Let l be a(b). Let z be (1 - -1)/(l + 0). Which is bigger: z or 1/10?
1/10
Let v be (-2884)/(-18) + 4/(-108)*6. Suppose -7*g + v = 20. Does g = 20?
True
Suppose 0*m + m = 14. Let t(r) = -3*r - 8. Let k be t(-7). Is k at least m?
False
Let n(h) = -116*h + 4050. Let i be n(35). Let j be 9 - (-1)/(-3 + 2). Let q = -17 + j. Which is smaller: i or q?
i
Let o be 5/((-435)/89) + 1. Which is smaller: o or 0?
o
Suppose -204*i = -331*i - 3 + 3. Let v = -4/63 + 265/1197. Which is smaller: v or i?
i
Let h be (2/1 + 1)*(-2)/6. Is -30 != h?
True
Suppose 15 = 3*t, 2*m - 2 = 3*t - 19. Which is smaller: m or -2/3649?
m
Let j be 7/(1/(-2) - -1). Which is bigger: j or 8?
j
Let j = 21 - 15. Suppose -m + j = 46. Let k = 198/5 + m. Is k at most as big as -1/3?
True
Let k = -3.011 - 0.089. Which is smaller: -1/5 or k?
k
Suppose -14 + 4 = -10*r. Suppose -5*s + s = -2*w, 0 = 3*s - w - 2. Which is bigger: s or r?
s
Let v(d) = d**3 + 5*d**2 + d - 4. Let x be v(-2). Let a(r) = 3 + 6*r - 2 + 0. Let u be a(1). Which is greater: x or u?
u
Let n be ((8/24)/((-3)/(-27)))/(-20). Which is bigger: 0 or n?
0
Suppose 0 = 8*k - 5*k + 3*a + 3396, -a = -3*k - 3412. Is -1136 smaller than k?
False
Let x = -2.019 - -0.389. Let l = -1.56 - -0.06. Let p = l - x. Which is smaller: p or 2/7?
p
Let w = 39 - 22. Let t = -16.74 + w. Let m = 0.14 + t. Is m less than 0?
False
Let p = 19983 - 1658615/83. Which is greater: p or 1?
1
Let i = 2.9 + -6.97. Let j = -124.93 + 125. Let z = j + i. Which is greater: -2/3 or z?
-2/3
Suppose 0 = -5*d + 3*d + 6. Let t be ((-2)/6)/(d/(-72)). Let g = -160 + 168. Is t less than g?
False
Let u be (4 + -3 + -3)/1. Let q(i) = 4*i + 4. Let g be q(-1). Are u and g unequal?
True
Let r(q) = -49*q**3 + 4*q**2 - 2*q - 9. Let l be r(2). Is -389 greater than l?
False
Suppose -g + 20 = o, -2*o + 37 = -5*g + 144. Suppose -17*q + 23*q + 18 = 0. Which is smaller: q or g?
q
Let p = -4 + 10. Let i = p + 4. Let o = -5 + i. Is o at most as big as -1?
False
Let k = -327 - -326.9. Which is bigger: k or 381/4?
381/4
Suppose -l + 4*m + 19 = 0, -2*l + 34 = 3*m + 7. Let g = -6 + l. Suppose -64 = -g*q + q. Is q < 6?
False
Let b be ((-2)/272)/(5040/(-448)). Which is bigger: b or -1?
b
Let c be (8/20)/(4/(-140)). Let f be (-21)/28*c/(-3). Let g be ((-5)/(-1))/(-1) + 0. Which is bigger: g or f?
f
Suppose -2*o - 138 = -3*k, 101 + 99 = -3*o + k. Which is bigger: o or -65?
-65
Let p be -1*(11 + -18 + 7). Let b(h) = -2*h**2 + 6*h - 3. Let y be b(-6). Let m = -1222/11 - y. Is p > m?
True
Let f be -1 + 4 + (0 - 1). Suppose -4*v = 3*s + 56, -3*s + f*s = -2*v - 28. Which is bigger: -13 or v?
-13
Let f(v) = v**2 + 3*v - 24. Let w be f(-13). Is w equal to 105?
False
Let g be (-1 - -1) + -75 - -1. Let b = g + 813/11. Suppose -4*x + x - 27*x = 0. Which is bigger: b or x?
x
Suppose 3 = 15*v - 12*v. Let z = -2 - -6. Let h be (0 + (-1)/(-15))*z. Is h < v?
True
Let m = -0.002 + -0.048. Which is smaller: -0.14 or m?
-0.14
Suppose 0 = 2*q + 3*q - 30. Suppose 14 = 4*o - q. Let t be (-1)/o*2/6. Which is smaller: t or -1?
-1
Let m = -6663/22879 + 44/137. Is 1 at least m?
True
Let k be 9943/(-366) + 5/(-6). Which is smaller: k or -34?
-34
Let j = 1195/9 + -307061/2313. Which is greater: j or -1?
j
Let v(j) = j**3 + 7*j**2 - j + 7. Let l be v(-7). Let o = l - 9. Suppose 0 = -3*a + o*n - 28, -23 + 2 = a -