r: -1/1798 or u?
u
Let t be ((1665/6)/3)/(5/10). Which is greater: 186 or t?
186
Let r = -147 - 141. Let u = r - -5473/19. Let q = 12.9 - 13. Is q > u?
False
Let w be (32/8 + -7)/5. Do -36 and w have the same value?
False
Let z(a) = -a**2 + 5*a. Suppose -o - v - 2 = 0, v + 0*v = -5. Suppose -4*s = -g - 6 - 11, -3*s + o*g + 6 = 0. Let i be z(s). Which is smaller: 3/8 or i?
i
Let q be 6/(-8) - 0/1. Let g(u) = -u**2 + 4*u + 3. Let y = 7 - 8. Let k be g(y). Which is greater: q or k?
q
Suppose -3*u - 13 - 8 = 0. Suppose 1 - 22 = -3*a. Let c(v) = -3*v + 15. Let j be c(a). Is j bigger than u?
True
Let n be 8/12 - 5/(-6). Let b = -1013.2 - -1014. Is b smaller than n?
True
Let j be 4/(-22) - 27/33. Let d be 322/105 - (1 + 2). Is j less than or equal to d?
True
Let n be (-12)/(-8)*(-10)/15. Let c be 12/24*0/n. Suppose -3*p + 3*a = -54, -p + 14 = a - c. Is 17 at least p?
True
Let g = 1 + -1. Suppose -135 = 4*d + 3*h - 0*h, 1 = -h. Let k be 22/d*(-3 + g). Which is smaller: -0.1 or k?
-0.1
Let z be 3 - ((-6)/15)/((-3)/(-45)). Suppose -5*d - z = -2*d. Which is bigger: d or -22/7?
d
Let w = -13168 + 13159. Let i = -6 + 12. Let n(c) = -c**3 + 7*c**2 - 7*c + 5. Let g be n(i). Which is smaller: g or w?
w
Let b be 1*(-2)/(-2) + 3. Suppose 0 = -b*s + 11 - 3. Which is bigger: 16/11 or s?
s
Let i be 63/42 - (-1126)/(-10). Let u = i - -111. Let t = -3/70 + u. Does 0 = t?
False
Suppose -g - 12 = 3*y, 2*g + 14 = -2*g + 5*y. Is g >= -15?
True
Let m(l) = 3*l**2 + 38*l - 13. Let f be m(-13). Which is smaller: 8/17 or f?
f
Let u be -3*(5/(-3) - -1). Suppose -u*p - i = p - 1, -p + 1 = i. Which is smaller: 2/9 or p?
p
Let p = -4 - -8. Let s(t) = -t**2 + 35*t - 32. Let z be s(34). Suppose p*y = z*y. Which is bigger: -3/10 or y?
y
Let o be (-1392)/2142 + 4/6. Let t(g) = -g**2 + 19*g - 33. Let k be t(17). Which is bigger: o or k?
k
Let q = -43/1110 + -7/74. Let o(m) = m**3 + 10*m**2 - 24*m + 1. Let g = -12 - 0. Let u be o(g). Is q != u?
True
Let s(r) = -r + 1. Let k be s(0). Let y be (-2)/16 - (-259)/(-296). Is y >= k?
False
Suppose 2*v - 94 - 32 = 0. Let d be v/(-5) - (-6)/(-15). Let f = 13 + d. Which is smaller: -2/17 or f?
-2/17
Let d = 3/227 + -3874/1135. Suppose -2*t = -4*n - 22, -n + 1 = -t + 9. Which is smaller: n or d?
d
Suppose 0 = h + 3*s - 14 - 20, 0 = -5*h - s + 240. Let n = 17 - h. Let d = n + 95/3. Is 3 >= d?
True
Let n = 64 + -63.59. Let x(y) = -9*y - 44. Let t be x(-5). Does t = n?
False
Suppose -10*b = -860 + 260. Let z = b - 47. Is z at least as big as 6?
True
Let s = 37621/715 + -31/143. Let y = 53 - s. Let l = -28 + 27. Is y not equal to l?
True
Let r(c) = c**3 + 9*c**2 + 17*c - 1. Let a be r(-6). Let g be 10/a - 5/4. Let o be (-2)/4 + 6/4. Which is greater: o or g?
o
Let d = -3 + -53. Let c be 8/d - 58/(-14). Suppose 4*p + c*t - 1 = -5, -2*p = t. Is p bigger than 0?
True
Suppose -4*z + 3 = -1. Let k be -3 - (7504/(-749) - -7). Which is bigger: k or z?
z
Suppose 0 = 16*d - 9*d. Let m be -1*(d/(-3))/(-1). Are m and 7 non-equal?
True
Let h be -1*2/(0 - 2). Let c be -2*2 - 1*92/(-24). Which is smaller: c or h?
c
Let s be (-30)/21 + (-22016)/504. Which is bigger: s or -46?
s
Let s(o) = -o**2 - 2*o + 1. Let t be s(-3). Let a be -19 + 20 - (-2 - -4). Are t and a equal?
False
Let h = 18 + -21. Are -16 and h equal?
False
Suppose -3*k + 3*d + 2*d = 25, -4*k - 4*d + 20 = 0. Are k and -2/645 equal?
False
Suppose -5*m = j + 16 - 44, -j - 22 = -5*m. Suppose 0 = 5*f - 5*s + 145, 44 = -f - s + m*s. Let b = 143/6 + f. Which is smaller: -1 or b?
-1
Suppose -8*u = 694 + 2674. Is u equal to -422?
False
Suppose -i + x - 747 = 5*x, i = -2*x - 739. Let m = i - -13894/19. Let r = m - -3/133. Is r equal to -1?
False
Let w = -22 + 26. Suppose 4*y + 0*m - 2*m + 18 = 0, -20 = -w*m. Which is smaller: -0.3 or y?
y
Let l = -16 + 17. Let v be -2 - 608/924*-3. Which is smaller: l or v?
v
Let o = -100 + 37. Let n = 46 + o. Is n <= 1/4?
True
Let c = 37.3 - 37.54. Which is smaller: -0.3 or c?
-0.3
Let y = -1455 + 1455. Which is smaller: 3/416 or y?
y
Let f = -407 - -4472/11. Are f and 0 unequal?
True
Suppose -2*z - 24 = 2. Let b = -243 - -229. Which is bigger: z or b?
z
Let d = 889 - 675. Is d at least 215?
False
Suppose -2*p + 3*c - 4*c = 357, 0 = 5*c - 15. Is p not equal to -180?
False
Let i be 1/2 + (-47)/(-10). Let t be -6 + (-16)/(-8) + (-12 - -22). Do t and i have the same value?
False
Let g(y) = y + 1. Let v be (1 - 2)*(3 + -2). Let h be g(v). Let c(i) = -2*i**3 + 2*i**2 - i. Let z be c(1). Is z less than h?
True
Let w(b) = 9*b**3 + b**2 - 4*b + 3. Let g be w(1). Which is bigger: g or 19?
19
Suppose 4*n - 2*n = 2*o + 2, -2*o = -5*n + 2. Suppose 0 = -2*a - 10, 2*g + 7*a = 2*a - 15. Suppose v + 0 - 3 = -p, -20 = -g*v. Is o greater than or equal to p?
True
Let a = -1717 - -1722. Which is bigger: a or 27/13?
a
Let h = -252 - -251.98. Which is smaller: -3 or h?
-3
Let j(a) = 2*a**2 + 50*a + 355. Let n be j(-24). Which is greater: 305 or n?
n
Let x = -45 + 48. Let p be 2/(2/(-10)*2). Let t = x + p. Which is smaller: 1 or t?
t
Let v = -11 - -11.31. Let d = -0.19 - v. Which is smaller: -1.2 or d?
-1.2
Let h(a) = a**3 - 5*a**2 + 13*a - 2. Let r be h(3). Is r < -8?
False
Let v = -711 + 710. Is v <= -2.86?
False
Suppose -6*u + 10 = -16*u. Does u = -1/211?
False
Let s = -0.5 - -0.33. Let m = 5.33 - s. Which is smaller: -2/5 or m?
-2/5
Let j = -1.3 + -5.3. Let a = j - -6.8. Which is bigger: a or 2.2?
2.2
Let c = -0.01 - 0.04. Let i = c - -0.04. Let t = i - 0.19. Do 1/2 and t have the same value?
False
Let n be 6/(-33) + (-79)/(-11). Let l(g) = -2*g**3 + 10*g**2 + 4. Let s be l(5). Suppose s*r + r - 35 = 0. Are r and n nonequal?
False
Let y(r) = -r + 4. Let x be y(3). Suppose -3*u + x = 5*l - 2, 5*u + l - 5 = 0. Do 8/5 and u have the same value?
False
Suppose -3*o - 10 = -8*o. Let c be (o/14)/(42/98). Which is smaller: c or -1?
-1
Let c(f) = -f**3 - f**2 - f + 1. Let r be c(1). Let o = -33210/23 + 1444. Is r equal to o?
False
Let k = -18 - -18. Suppose 3 = 2*y + 7. Let n be 76/80 + y/10. Which is greater: n or k?
n
Let x = 7 - 7.4. Let q = 5.5 - 5.1. Is q <= x?
False
Let r = -63 + 68. Suppose 5*s = -n + 21, 6*s - r*s - 4 = 0. Is n bigger than 2/87?
True
Let r = -32963.9 + 32964. Let b = 22 - -27. Which is bigger: r or b?
b
Let f = -0.14 + 0.04. Let o(u) = -u**3 + 8*u**2 - 21*u + 6. Let y be o(5). Is y equal to f?
False
Let r be (1728/30)/(-9)*(-55)/(-2). Let l = r + 1230/7. Which is greater: l or -1/3?
l
Let z = -567 - -577. Is z <= -4?
False
Let a = 5.5 + -5.6. Let p = -0.2 - a. Which is smaller: -12/13 or p?
-12/13
Suppose 8*i - 20 = -4. Let f(q) = -20*q. Let n be f(i). Do n and -41 have the same value?
False
Suppose v + 4*b = 6, 2*v - 13 + 4 = -5*b. Suppose 2 = 3*z - v*h, 4*h + 4 = 3*z - 0. Suppose 3*m = -z*m. Which is bigger: 2/11 or m?
2/11
Let w = -893 + 723. Which is greater: w or 0?
0
Let r = 10 + -73. Let a = r + 63.03. Which is greater: 0 or a?
a
Suppose -5*x - 4*a - 106 = 0, 4*x - 5*a + 27 = 3*x. Let w be x*4/72 + 3. Which is smaller: 2/3 or w?
2/3
Let y = -638 - -525. Is 0.1 smaller than y?
False
Let c = -26 + -12. Let b = -39 - c. Which is bigger: 2/15 or b?
2/15
Let l = 0.771 + 0.229. Is 4 less than l?
False
Suppose -3*m = 6 + 27. Let s be 3/4*1/(m/2). Which is smaller: s or 0?
s
Let n(m) = -97*m**3 + 2*m + 1. Let f be n(-1). Let t be 81/(-6)*f/(-18). Which is greater: t or 71?
t
Suppose 2*l = -0*l. Let q be (-9)/(-15)*10/18. Are l and q nonequal?
True
Let w(r) = r - 4*r - r**2 + 3 + 7*r. Suppose -7*t + 40 = -2*t - 4*c, 2 = -2*t - 2*c. Let n be w(t). Which is bigger: 4 or n?
4
Let d(a) = a**2 + 13*a + 12. Let l be d(9). Suppose -14*p = -8*p + l. Which is bigger: -36 or p?
p
Let y be (-3 - 51) + -2 + 3/(-1). Are -60 and y unequal?
True
Suppose -78 = 2*u - 7*u + 2*y, 0 = -4*u + y + 60. Let j be (u/4 - 0)*(-17 + -1). Is -62 at most j?
False
Let v be (-1)/4 - (-210)/40. Let s(c) = c**2 - 3*c - 5. Let a be s(v). Is 4 greater than or equal to a?
False
Let z(n) = -n - 5. Let p be z(-3). Let u be ((-1)/(-12))/(6/(-112)). Which is bigger: u or p?
u
Suppose i + 86*u = 91*u - 2, 4*i - u + 8 = 0. Which is bigger: i or -56/101?
-56/101
Let v = 1.5 + -1.1. Let n = -0.6 - v. Is 1/8 greater than or equal to n?
True
Let v = 1209/4 - 304. Suppose 3*j = -4*y + 12, 7 = 2*j + 3*y - 0*y. Suppose 0 = d