01/55 - 41/5. Let q = d - z. Which is bigger: 0 or q?
q
Let t = 24 - 12. Let b be (5/15)/(8/t). Is b equal to 17?
False
Let s(c) = c**2 + 5*c - 233. Let p be s(-18). Is p less than 8/7?
True
Let n be 2/(-22)*(-14 - 848/(-60)). Does n = 1/4?
False
Suppose 4*d + b - 529 = 0, 149 + 511 = 5*d + b. Which is smaller: d or 138?
d
Suppose o - 1418 = 5*r - 439, 3*r - 3*o = -585. Are r and -201 nonequal?
True
Suppose 3*p = 3*k + 3, 5*k + 10 - 6 = 4*p. Suppose 0*b + 4*b = 0. Suppose 0*n - 4*n - 4 = b. Is n equal to k?
False
Suppose -4*j + 0*r + 28 = -r, -5*r - 28 = -4*j. Suppose -4*s + j*s - 33 = 0. Let z = s - 6. Which is smaller: z or 3?
3
Suppose -53 = 2*l + 29. Let q = l + 125/3. Let o = -29 - -32. Is q equal to o?
False
Let x = 175 + -699/4. Is -130 at most as big as x?
True
Let b(u) = -196*u**2 - 5*u + 4. Let g be b(1). Let x = g + 1771/9. Which is bigger: -4.4 or x?
x
Suppose 0 = -8*p - 19 - 13. Let a = p - 3. Let g be (-12)/16 + 58/(-8). Is g != a?
True
Suppose 0 = -0*t - 3*t + 39. Suppose t = 5*k - 2. Let g = 1534 - 1529. Is k less than g?
True
Suppose 0*l = 3*l - 36. Is 14 > l?
True
Let m = 115/902 - 1/11. Which is bigger: 2/3 or m?
2/3
Let f be -15 + 1 - (-3 + 1). Let s be 3/(-2) - 114/f. Let w = 8 - s. Is w < -1?
False
Suppose 5*k + 2*f - 50 = -f, -k - f = -12. Suppose -4*b - k = 3*b. Which is bigger: 1/5 or b?
1/5
Let j = -0.07 + 0.17. Let g = -5.9 - j. Is -1 equal to g?
False
Let q be (-1)/(-2 - 3)*120/(-688). Which is bigger: q or -1?
q
Let h = -1.5 - -24.7. Let a = h + -22. Which is smaller: 0.1 or a?
0.1
Suppose 4*w = 4*t + 12, 0 = 3*t - 0*t + 4*w - 12. Let q(k) = k - 10. Let z be q(6). Let c be (-4)/(-3) + z/12. Is c at most t?
False
Suppose 0 = w + 4*w + 35. Let g = w - -1. Let m be (1 - (-9)/g)*-2. Is -11 less than m?
True
Let a(u) = -u**3 - 5*u**2 + 17*u + 14. Let v be a(-7). Which is smaller: -57/8 or v?
-57/8
Let y = -129 + 134. Suppose y*g + 88 + 37 = 0. Is -26 less than or equal to g?
True
Let b(r) = r**2 + 21*r - 45. Let z be b(6). Which is smaller: z or 231/2?
231/2
Let b be (4/(-42))/(22/99). Are -11 and b unequal?
True
Suppose 0*x = 8*x + 6*x. Let p be (2/6)/(1/9). Suppose x*r = -p*r - 18. Which is bigger: r or -4?
-4
Let n = 1 - 16.5. Let t = -15 - n. Is t less than 0?
False
Let b(h) = 6*h**2 + 3*h**2 - 1 - 740*h**3 + 8*h + 741*h**3. Let s(x) = x**3 - 5*x**2 - 3*x + 7. Let y be s(5). Let k be b(y). Are -1/6 and k equal?
False
Let n(f) = -23*f**2 + f + 36*f**2 - f. Let j be n(1). Let d = j + -20. Which is smaller: d or -6?
d
Let y = 0.9 - -5.1. Let b = 0.4 + 4.6. Let q = b - y. Do -7 and q have different values?
True
Suppose 1110 = -18*f + 24*f. Which is greater: f or 187?
187
Let v = 2.1916 - 0.1916. Which is greater: v or -2/439?
v
Let w = 3.4 - -0.2. Let t = -2.5 + w. Let x = -3.1 + t. Which is smaller: 4 or x?
x
Let g = 91 + -85. Suppose 66 = g*k - 336. Which is greater: -1/4 or k?
k
Let z = -4571/12 - -381. Are 8 and z equal?
False
Let n = 0.477 + -0.5. Let y = n - -0.07. Is 0.1 > y?
True
Suppose -7*k = 43 + 398. Let f = k + 34. Does -29 = f?
True
Let a = 0.06 + 2.94. Let q = -2.99 + a. Which is greater: q or -2/19?
q
Let q be (-2)/7 - 78/364. Which is smaller: 43 or q?
q
Let q be ((-12)/26)/(1936/(-572)). Let n be 2/2 + 0/(-2). Let z be (0/2)/3 - n. Which is greater: z or q?
q
Let r(i) = -i**2 + 26. Let u be r(0). Let p = u - 21. Let a be 192/430 + (-2)/p. Is 0 smaller than a?
True
Let d = 527 - 617. Which is smaller: -269/3 or d?
d
Let f = -201109/35 - -5747. Which is smaller: 1 or f?
1
Suppose 65 + 27 = -4*g. Suppose 13 = -3*n + 4*y - 58, -4*y - 4 = 0. Is n equal to g?
False
Let l be 8/18 + (-730)/1845. Let w(m) = -m**3 - 5*m**2 + 6*m + 1. Let h be w(-6). Is h at least as big as l?
True
Let h = -228/5 + 43. Let o = h - -153/55. Which is smaller: o or -2/3?
-2/3
Let m = -160 - -57. Which is smaller: -105 or m?
-105
Let p = -4143 + 24779/6. Is p not equal to -14?
True
Suppose 0*n + 21 = -n - 3*i, -n + 2*i = 1. Let x = -16 - -8. Is n >= x?
False
Let c = 81.264 - -0.736. Which is greater: -0.05 or c?
c
Let i = -2.26 - -0.26. Let d = -62.8 + 66. Is i <= d?
True
Suppose 10 - 2 = 4*h. Suppose 9 = -y - 3*n, 2*y + h*n - n + 23 = 0. Suppose -29*r - 227 - 188 = -96. Is y < r?
True
Let q = -0.03528 - -11.98028. Let y = 0.055 + q. Which is bigger: y or 1?
y
Let g = -1388 + 1390. Does g = -58?
False
Let h(p) = p - 8. Let w be h(11). Suppose -a = -u - w, 0 = 2*u + 2. Are a and -2 nonequal?
True
Let t = -40.4 + 40. Let g = -0.3 + t. Which is smaller: g or -0.2?
g
Let r be (-3)/(1 - -2) - -4. Let y be r - (-2 + -2 - -5). Suppose -4*x = -0*d - 4*d - 16, 0 = -3*x + 12. Which is smaller: d or y?
d
Let o = 9.18 - -1.02. Let k = o - 19.2. Is -2/9 at least as big as k?
True
Let s = 862 + -862.1. Is s at most as big as -397?
False
Let y = 12.8 - -4.2. Let n = y + -36. Do 1/4 and n have the same value?
False
Let a be (1 + 55/(-10))/(6/(-56)). Is 203/5 >= a?
False
Let y be (3 + -1 - 0)/(22 - 24). Is y at most -10/121?
True
Let h = -0.1 + 0.2. Suppose -p - 2*g + 3*g = -1, 0 = p + 3*g - 13. Suppose 4*q - p*v + 4 = 0, 4*q + 2 + 1 = 3*v. Are h and q equal?
False
Let p = -13 - -9. Let i = -87 + 91. Suppose -17 = 3*d - 4*k, -i = -k - 2. Is d equal to p?
False
Let m be (-2)/(-14) - (696/21 + 8). Which is smaller: -43 or m?
-43
Let b(i) = -i**3 - 54*i**2 - 52*i - 77. Let z be b(-53). Which is smaller: z or -126?
z
Let v = -170/7 + 14464/595. Let q(d) = -d**2 + 6*d - 1. Let z be q(6). Is v greater than z?
True
Let g(p) = -2*p + 7. Let z be g(-4). Let y be (-2 - 8/(-5))*z. Let a = -22 + 16. Do a and y have the same value?
True
Suppose -5*s - 3 = -53. Is 0.01 > s?
False
Let l(m) = m**3 + 11*m**2 + 8*m - 14. Let a be l(-10). Suppose 16 = -2*x - 4*q, a*x - 25 = x + 3*q. Suppose 2*p = -4 + x. Are -6 and p non-equal?
True
Let j = 123 + -122.6. Is -22 equal to j?
False
Suppose 2*g + 87 - 33 = -l, g - 225 = 4*l. Let k = l - -58. Let s(b) = -b + 7. Let u be s(6). Which is smaller: u or k?
u
Let x be -6*3/(-27)*21. Suppose -5*c - 6 = x. Which is greater: c or -2?
-2
Suppose 0 = 10*o - 8*o - 32. Let z be -18 + (o/4 + -1 - 2). Is -0.1 at least as big as z?
True
Let p = -1.01 + 1. Let n = p - -7.01. Let k = n - 6. Is k less than or equal to 6/11?
False
Let c(w) = w**2 + 7*w + 8. Let l be c(-7). Suppose 2*h + 30 = l. Suppose 0 = -3*j + 2*o - 4 - 24, -j - 5*o - 15 = 0. Is j at least h?
True
Let m be -7 - 141891/(-17196) - (-5)/(-4). Is 0 smaller than m?
True
Let n(d) = -d**2 - d + 13. Let f(u) = -u**3 - 8*u**2 + 11*u + 21. Let a be f(-9). Let g be n(a). Is g at most as big as -3?
False
Suppose 3*x = -2*x + 80. Let g = 13 + 2. Let l = x - g. Which is smaller: l or 4/5?
4/5
Let a(x) = -x**3 - 2*x**2 + 90*x + 1. Let v be a(-10). Is v <= -195/2?
True
Suppose 9 = -0*i + 3*i. Suppose 7*r - 12 = i*r. Let n be r/(-7) - (-57)/84. Which is smaller: 0 or n?
0
Suppose 7 = -v + 2*v. Let d = 43 + -42.66. Let s = d - 0.34. Are v and s nonequal?
True
Let w(f) = -93*f + 557. Let v be w(6). Let i be 1720/(-858) + 3 + -1. Is v at most i?
True
Let v = -15.8 + 15.17. Is -0.3 at least as big as v?
True
Let f = 28 - 28.07. Which is smaller: f or -13/9?
-13/9
Let b be (-981)/459 - 1/3. Is -1 greater than or equal to b?
True
Suppose t = 5*g - 9 - 4, 2*t + 4*g - 16 = 0. Let j(u) = 5 - 4*u**t + 4*u**2 - 4 + 5*u**2 - 2*u. Let m be j(1). Which is smaller: 2 or m?
2
Let f be (-3)/(-10*8/(-16)). Let z be 1/(-2)*0/2. Which is smaller: f or z?
f
Let t be (6/3)/((-21)/(-6) - 4). Which is greater: t or -8?
t
Let z(w) = -w**2 + 9*w - 8. Let h be z(8). Suppose h = -2*j + j - 18. Let p = 75/4 + j. Which is smaller: p or 2?
p
Let s = -6.4 - -6. Let k = s - -0.5. Let v = -5 + 4.6. Which is smaller: k or v?
v
Let u = 1847854322/32063015445 + 146/1590033. Let a = u + -2/545. Is a less than or equal to 2/5?
True
Let u = 168/11 + -10226/671. Suppose 0 = j - 2*j + 2*j. Is j less than or equal to u?
True
Let a(h) = -h**2 - 7*h - 3. Let w be (6 + -13)/(2 + -1). Let d be a(w). Let o be -3*(20/(-6) - d). Which is smaller: 2/11 or o?
2/11
Suppose -3*v = -b - 88, -b + 4*v - 49 = 41. Let o = b - -493/6. Which is bigger: 0.3 or o?
0.3
Let l = -18.08 - -0.08. Let b = l + 17. Is b less than 3/7?
True
Let v(a) = 3*a**2 - 6*a + 9. Let x(l) = 2*l**2 - 3*l + 4. Let z(m) = 3*v(m) - 5*x(m). Let i be z(-6). Let r = i + 17.