lues?
True
Let u(r) = -r**2 + 4*r - 1. Let d be u(3). Suppose -d*w + 4 = -0*w. Suppose -w - 1 = -3*j. Is j at least as big as 2/5?
True
Let c = 360 - 363. Which is greater: -47 or c?
c
Let g be (-9)/(-108)*-2*-6. Which is greater: g or -2/525?
g
Let z be ((-1)/3 + 0)*(-311 + 119). Is -0.04 equal to z?
False
Let a(o) = o**3 - 4*o**2 + 6*o - 21. Let v be a(4). Is v equal to 35/8?
False
Suppose -a - 2*a = 5*a. Is 0.16 > a?
True
Let w = -332 + 331. Which is bigger: w or -7/2?
w
Let f = 3042659521/8190 + -4829646/13. Let s = 1/90 - f. Let z be (4 + -11)*1 + (-2 - -6) + 4. Which is greater: z or s?
s
Let t be -6*(-22)/(-4) - (12 - 9). Let h be 0 + 0 + 4 + t. Are h and -31 nonequal?
True
Let h(l) = l**2 - 3*l - 11 - 9 + 4*l. Let a be h(0). Is 0 smaller than a?
False
Let k = -148.1 - -148. Let l = 39 + -28.5. Let v = 1.5 - l. Are k and v non-equal?
True
Let r = 0.122 - -0.648. Let t = 7.03 + r. Let b = 8 - t. Is b equal to -0.2?
False
Let y(m) = -2*m**2 + 16*m - 16. Let w be y(7). Suppose 0 = 5*s + 9 + 11. Let u be (w/s)/((-24)/36). Which is smaller: -1 or u?
-1
Let w = -9 + 25. Let s = 14.9497 + 0.0503. Let y = s - w. Does -6 = y?
False
Let i be (2 + (-3 - -1))*1. Suppose o + 26 = -i*o. Let w be (o/9 - -3)*-3. Which is greater: -4 or w?
w
Let f = -374/3 - -15346/123. Is 6 greater than f?
True
Suppose 3 = 4*s + o, -o = -s + 2*s - 3. Let y be 2 - (2 - 4/11). Is s equal to y?
False
Suppose 0 = -k + 6*k - 5*f + 6050, -5*f - 1204 = k. Let x be k/(-26) - (-10)/(-4). Which is bigger: 46 or x?
46
Let i = 21 + -30. Let f be i/(-7) - 4/14. Let w be 8/(0 - 64)*-14. Is w > f?
True
Let o be -15*(-2 + (-32)/5). Let d = 474 - 476. Let b be 64/o + d/7. Is b >= 0?
True
Suppose 3*f + g = 3*g + 134, -4*g = -5*f + 224. Let w be (-11)/f - (-34)/8. Is 1 >= w?
False
Let u = 2853 + -2853.5. Is 0.08 != u?
True
Let t be 6 + -7 + (-234)/(-5). Let h = t - 46. Which is smaller: 3/5 or h?
h
Let n(z) be the second derivative of -z**6/360 - z**5/120 + z**4/3 + z. Let a(x) be the third derivative of n(x). Let t be a(-2). Which is smaller: t or 4?
t
Let c(u) = -u**2 + u + 2. Let a be c(3). Let h be (8 + a)*(-3)/(-12). Which is smaller: 4/13 or h?
4/13
Let f be (-8)/(-16 + -8)*0. Which is smaller: -169 or f?
-169
Let g = 29 - 29.65. Let o = g + 0.55. Which is greater: -0.3 or o?
o
Let p(s) = s**3 - 15*s**2 + 30*s - 12. Let o be p(13). Suppose o + 75 = -5*x. Which is bigger: -25 or x?
x
Suppose 69*b - 68*b - 7 = 0. Suppose -18*q + 11*q - b = 0. Let s(d) = d**2 - 5*d + 4. Let o be s(5). Which is greater: o or q?
o
Let g be ((-9)/(-237))/(3*6/18). Which is greater: 0 or g?
g
Let o(n) = -5*n - 97. Let u be o(-34). Is u not equal to 73?
False
Let z(q) = q**2 - 7*q - 3. Suppose 0 = -w + 2*n + n + 58, 112 = 2*w - 5*n. Suppose 5*h + 11 = w. Let r be z(h). Which is smaller: -2 or r?
r
Let j be 9/294*10*18/405. Suppose -5*v = -2*t - 1, -v - 3*t + 8*t - 9 = 0. Is j at most as big as v?
True
Suppose -2*u - 10 = -4. Let k = u + 3. Let q be (-3)/(-1) + k + -2. Which is smaller: 10/7 or q?
q
Let q be (-2)/(-36)*(-3)/(-2). Let j be 6/(192/(-104)) + (0 - -3). Let f = q - j. Which is smaller: 0.11 or f?
0.11
Suppose -3*w + 7*c - 47 = 11*c, -5*w - 4*c - 73 = 0. Is w < -0.3?
True
Let a(k) = -4*k - 81. Let c be a(-20). Let o = 21 + -29.3. Let r = o + 1.3. Which is smaller: c or r?
r
Let i be ((-1)/(-2))/(4/104). Suppose i*z - 4 = 9*z. Is -5/12 != z?
True
Let s(g) = -g**2 - 12. Let p be s(0). Is p smaller than -11?
True
Suppose -p = 3*p - 4. Let g = -0.0039 - 0.1961. Which is bigger: p or g?
p
Let j(m) = m**3 + 9*m**2 - 11*m - 11. Let b be 10*((-18)/5 - -4). Let x be b/(-8) - 38/4. Let r be j(x). Which is bigger: -1/34 or r?
-1/34
Suppose -2*f + 9 + 3 = 0. Suppose -8*w = -f*w - 26. Let j be 52/2*1/2. Is w bigger than j?
False
Suppose -6*s + 2*s + 57 = -b, -4*b + 42 = 2*s. Let c be 4/(-6)*(576/(-6))/1. Suppose 4*j - c = -4*r, 3*j + j - 4 = 0. Is s > r?
False
Let n = -154.122 - -154. Which is smaller: 2 or n?
n
Suppose 4*i - 12 = -0. Let c = i - 6. Suppose 22*h + 5*o = 27*h + 30, 2*o - 8 = 0. Is c at most h?
True
Suppose f + 1 = v, -2*f - 3*v = 3 + 4. Let a be (-4 - (-9 - f)) + 1. Suppose a*d = -d. Which is bigger: 2/79 or d?
2/79
Let q = 5 - 7. Let g(l) = l + 7. Let w be g(-8). Let i be w + q/(2/(-3)). Which is bigger: i or 1?
i
Let g be 25 + 1 + 1 + 1. Let s be g/42 - 29/30. Let c = s + -1/5. Which is bigger: c or 0?
0
Let n = -119 - -131. Let o be 1/(0 + (-1 - 0)). Which is greater: o or n?
n
Let v be 45/5*2/(-18). Which is smaller: 54/115 or v?
v
Let q = -4.78 - -5.35. Which is smaller: q or 1/2?
1/2
Let b(d) = 36*d - 50. Let f be b(20). Is f bigger than 668?
True
Let x = 686 - 203. Is x > 483?
False
Let d be (-255)/(-210) + 2/4 + -4. Is d at least -2?
False
Let h(n) = -n - 4. Let o be h(-4). Suppose -672 = -125*b + 97*b. Is o bigger than b?
False
Suppose 26 = p + 3*c, 25*c - 28*c = -p + 2. Which is bigger: 25/2 or p?
p
Suppose z = -3*z - 2*m + 366, -m = -3. Let c = z - 91. Which is smaller: -1/94 or c?
c
Let q = 1507/3 + -515. Let y(i) = -5*i - 2. Let d be y(2). Which is bigger: d or q?
d
Let b = -121 - 185. Is b at least 0?
False
Let c be (-21)/18 - (-4)/24. Let v = c - -5. Suppose 4*n - 9 = -v*g + g, -3*n - 6 = -2*g. Is 2/87 at least n?
True
Let a = -4 + -4. Let v(r) = 3*r + 10. Let i be v(-5). Let d be ((-1)/(i/(-40)))/1. Are d and a equal?
True
Let a(y) = y**2 + 3*y - 13. Let s be a(6). Let b = -85/2 + s. Which is greater: -3 or b?
b
Suppose 1 = 2*d + 4*l - 1, -d = 4*l - 1. Let w = 3 - d. Suppose -4*t + w*s = 10, 4*t - t - 5*s + 18 = 0. Which is smaller: 11 or t?
t
Suppose 15*s - 90 = 12*s. Let q = s - 151/5. Is 1 at most as big as q?
False
Suppose -52 = -5*k + d, k + 2*d + 44 = 5*k. Suppose 0 = -k*t + 11*t. Which is greater: t or 1.5?
1.5
Let i = -38 - -43. Suppose -6*m + 7*m + i*o = 18, 4*m + 3*o = 21. Is 3 less than or equal to m?
True
Let q = 4 + -2. Let i = 4/215 + 3599/3010. Let f = i - -2/7. Which is bigger: q or f?
q
Let n = 68 + -33. Let v = 23 - 46. Let q = v + n. Which is bigger: q or 11?
q
Let v be (2/36)/((-4)/(-30)). Suppose -3*u - 366 = -3*h, -4*h = -0*h + 5*u - 533. Let l = -127 + h. Is l <= v?
True
Suppose 2*i = -i + 108. Let f = -3385/87 + 94/29. Let w = i + f. Which is smaller: -1 or w?
-1
Suppose -32 = -10*u - 42. Which is greater: u or 61/6?
61/6
Suppose 4*b - 8 = 0, -2*b + 18 = 5*f - 6. Suppose -25 - 35 = f*t. Is t smaller than -14?
True
Let n = 460 + -5042/11. Let d = n + -65/33. Which is greater: d or 0.6?
0.6
Let q = 494 + -332. Which is bigger: q or 166?
166
Let z(k) = 14 + 2*k + k - 2*k. Let w = -22 - -22. Let i be z(w). Which is smaller: i or 15?
i
Suppose 3*q = 5*v - 36, -3*q - q + v - 48 = 0. Let x = 13 + q. Suppose -6 = -3*g - 12. Does g = x?
False
Suppose -14*j + 6*j - 48 = 0. Let n be (3/(-2) - 0)*28/j. Is -0.1 >= n?
False
Let i = 39 - 20. Suppose 3*o = -o + 72. Which is smaller: i or o?
o
Let c be ((-3 - -2) + 1)/1 + 4. Let b be 32/(-6) - (-6 + c). Is b smaller than -4?
False
Suppose -2*x = 3*n - 5 - 7, -3*x + 17 = 4*n. Let i be ((-4 + x)/42)/1. Which is smaller: 1 or i?
i
Let f(m) = m + 14. Let a be f(-10). Let n be 9/(-3 - (-8 + a + -2)). Which is smaller: 21/5 or n?
n
Suppose -8*d - 6*d = 28532. Let s = d - -12181/6. Is -7 less than s?
False
Suppose 5*h = -2*d - 1 - 3, 2*h + 19 = 5*d. Let u(w) = 4*w + 3. Let s be u(h). Let t be -2 + ((-285)/24)/s. Which is smaller: -1 or t?
-1
Let q(y) = y**2 - 9*y - 8. Let f be 4/(-6) + 7/(-21). Let v be (-1)/((-10)/9 - f). Let g be q(v). Which is smaller: -2 or g?
g
Let g = -11 - -1. Let w = 40 - 46. Let x be 6/(-9) + g/w. Are x and 5/3 equal?
False
Let u = -0.07 - -0.033. Let r = -0.263 + u. Do -5 and r have the same value?
False
Suppose -5*x + 5 = 4*v + 43, -5*x + 11 = -3*v. Is v at least as big as -76/11?
False
Suppose -8 + 1 = -7*r. Let s = -77 - -48. Let t = s - -117/4. Is t less than r?
True
Let o = 460 + -460.2. Is o < -49?
False
Let o = 26 - 26.2. Let r = -0.4 - o. Do 4 and r have the same value?
False
Let n = -193 - -193. Let g = 1.128 + -0.028. Is g at most as big as n?
False
Let h = -280982/35 - -8023. Let j = 5 + h. Which is smaller: j or -1?
-1
Let n = 0.68 - 0.6842. Do 0.1 and n have different values?
True
Let k = 127/2 + -59. Suppose -2*z = -4*u + 4, -10*z + 6*z - 4*u + 28 = 0. Which is smaller: z or k?
z
Le