r n?
p
Let p = -1285 + 1284. Which is smaller: p or 3/712?
p
Let s be 16048/130 + (-10)/(-65). Let w = 124 - s. Is w smaller than 7?
True
Let d be -8 - 0*(-3)/(-6). Let v = -0.032 - -23.032. Let q = v - 23.1. Is q > d?
True
Let p be (-5 - -1)/2 + (-86636)/(-43439). Which is greater: p or 1?
1
Suppose -709*k + 718*k = -9. Is 2/727 > k?
True
Let s = 21 - 9. Let i = 99 + -64. Suppose -2*h + 4*q = -16, -3*h + 5 = 2*q - i. Is s at most as big as h?
True
Let n(x) = 90*x + 5400. Let f be n(-60). Let p = -123/602 + 18/43. Which is greater: p or f?
p
Let s be 4/(-6) - 2*52/(-273). Is -66.1 bigger than s?
False
Suppose 7*b = 6*b + 3. Suppose b*m - 20 = 5*m. Suppose -7 - 20 = 3*r. Is m greater than r?
False
Suppose m + 2*p - 41 = -p, 0 = m - p - 53. Let v be m/175 - 136/133. Which is bigger: 0 or v?
0
Suppose 186*u - k = 183*u + 158, -u + 46 = k. Are 67 and u nonequal?
True
Suppose -64 = 7*r + 57*r. Which is greater: r or -0.0021?
-0.0021
Let m = -8/47 + -2835/188. Is m at least -15?
False
Let i be 0*3/6 + (9 - 5). Are -0.06 and i non-equal?
True
Suppose 3*l - 497 = -y + 6*y, 5*y + 5 = 0. Let p be (l/8 + 0)/(1/2). Which is greater: p or 42?
42
Let y be 21*(104/168 - 4/14). Are y and -81 non-equal?
True
Let r be (-171)/27 + 14/6 + -2. Let p = -7 - r. Which is smaller: p or 10/7?
p
Suppose 2*o + 53 = -4*w - 113, -w + 4*o - 37 = 0. Are w and -40 equal?
False
Let o = -235 + 1172/5. Let c = -6.3 - -6. Is o smaller than c?
True
Let r(h) = 5*h**3 + 8*h**2 - 7*h - 4. Let a be r(4). Do 414 and a have different values?
True
Let j = -28.2 + 27.87. Which is bigger: -4/7 or j?
j
Let t(v) = 9*v + 81. Let c be t(-64). Which is greater: c or -493?
-493
Let y(v) = -2*v**3 - 2*v**2 + 3*v + 2. Let z be y(-2). Suppose -z = -0*g - 4*g. Let l = g - 0. Which is greater: 2 or l?
2
Let b = 36012 - 251525/7. Let o = -80 + b. Let u be 2/((-4)/2) + 0. Is o bigger than u?
True
Let r = -219 + 877/4. Which is bigger: r or -119?
r
Let w be 105 + (-7)/((-14)/(-4)). Suppose -2*m - 43 = 3*h, 2*m + 3*m = -3*h - w. Let d be 16/m - (-106)/145. Which is greater: d or 1?
1
Let r(d) = -15*d + 18. Let s be r(4). Let a = s + 14. Which is smaller: -29 or a?
-29
Let r = 16 + -19. Suppose -26 = 5*g - 7*g. Let i = g + -33/2. Which is greater: r or i?
r
Let h = -1/1639 - -895/1639. Suppose 0 = 110*o - 114*o. Suppose 3*n + 4*n = o. Is n at least h?
False
Let q(l) = -2*l + 1. Let f(u) = 3*u - 1. Let j(m) = -6*f(m) - 10*q(m). Let h be j(4). Let x = -18 + 21. Is h at least x?
True
Let h = 10 - 31. Let z be 182/(-42)*(-36)/(-8). Which is smaller: z or h?
h
Suppose -4*q = 5*u + 49, -3*u + 3 = -11*q + 8*q. Let w(d) = d - 9. Let i be w(5). Is i > q?
True
Suppose -125 = 5*f - 7*t + 3*t, 2*t = -4*f - 100. Let u be f/1 + -1*2/2. Is -26 >= u?
True
Let b = 32.4 + -656.4. Which is greater: b or 1?
1
Let o = -157/2 + 469/6. Which is smaller: 27 or o?
o
Let u(k) = -k**2 - 9*k + 21. Let h be u(-9). Let s(b) = 0*b + b - 10 + h. Let c be s(-9). Is c > 5/4?
True
Let p be (2/6)/((-21)/(-9)). Let x = 5/14 + p. Suppose 0 = l - 5*l + 4. Is l less than or equal to x?
False
Let r = -2371 - -21317/9. Which is greater: -2 or r?
-2
Suppose -h - 4*t = -234, -454 = -h - h - t. Which is smaller: 0 or h?
0
Let z = 2 + -1. Let s be (6/(-9) - 2 - -4)*-15. Let t be (-8)/(-10)*s/(-152). Is z != t?
True
Let k be 76/114*3*2/4. Which is smaller: k or -71?
-71
Let m be (-3)/(-2)*5*434/651. Suppose -18 = -2*n - 2*t, 3*t = -3*n + 2*t + 21. Is n at most m?
False
Let t = -4107/4 + 27513/28. Which is smaller: t or -44?
t
Suppose 3*d + 2*z = -11, -3*z = 3*d + 3 + 12. Let m be 1/(d + 0/2). Which is smaller: -2/19 or m?
m
Let x = -1938 - -58141/30. Which is smaller: -1 or x?
-1
Let s = 687/5 - 137. Which is smaller: s or 14/5?
s
Let m = -1699 + 1641. Is 0.03 greater than or equal to m?
True
Let l(i) = 2 + 3*i**2 + 2 - 4*i + 0. Let d be l(4). Let n be (d/21)/(0 - 2). Does 0 = n?
False
Let x = -0.66 + 0.16. Let m = x + 0.8. Let r = -0.5 + m. Is 1/20 bigger than r?
True
Suppose 4*u - 829 = 211. Suppose 5*v + 5*k = 290, 6*v - u = 2*v + 3*k. Is 62 at most as big as v?
True
Let i = -411 + 900. Is i less than 487?
False
Suppose -3*u + 126 = 891. Which is smaller: -254 or u?
u
Let m be (-9)/(-6)*(-4)/(-3). Suppose -4*r = -m*c - 26, 0*r + 2*r = 5*c + 33. Let t be (-24)/54 - r/(-6). Is 0 greater than or equal to t?
False
Let o = -14 - 16. Let j = o + 27. Let k be (-2)/j - 6/(-18). Are -2/25 and k equal?
False
Let k be 8/6 - (-161)/(-69). Let o be (2/(-3))/(1/9). Is o at least as big as k?
False
Let d be -101 + (7 + -7 - 4). Which is bigger: d or -104?
-104
Suppose -345 - 260 = -4*z + f, 4*z = 5*f + 609. Let l be 753/z + (-35)/7. Which is bigger: l or 0?
0
Suppose -18*b - 109 = -15931. Which is smaller: 878 or b?
878
Suppose 10*g - 34 = -4. Let w = -13 + 1. Let f be 38/8 + (-3)/w. Which is greater: g or f?
f
Let d = 504.06 + -504. Let k = -0.2 - -0.3. Which is smaller: k or d?
d
Let q = -0.452 + 0.022. Let n = q - -0.37. Is 2/3 at most n?
False
Suppose -4*h = -9*h. Let k = -10613/27 + 393. Are k and h equal?
False
Suppose -5*t + 3*x + 67 = 0, 0 = -5*t + 4*x + 24 + 47. Let k be (3/2)/(t + 1). Let b(d) = 3*d**2 - 26*d - 8. Let f be b(9). Is f >= k?
True
Let q = 818 + -33541/41. Suppose -5*d + 4 + 1 = 0. Are d and q unequal?
True
Let t(w) = 2*w**3 + 18*w**2 - 20*w - 1. Let x be t(-10). Is -3/512 less than or equal to x?
False
Let g(v) = 2*v**2 + 51*v - 30. Let j be g(-26). Are -6 and j non-equal?
True
Let h = -12 - -12. Let b be 3/(-6)*(-9 + 1). Suppose h = -b*k - 3 - 1. Which is smaller: -3/20 or k?
k
Let v = -0.69 - 12.06. Let t = 13 + v. Let q = t + -0.15. Which is smaller: 1/6 or q?
q
Suppose -30 = 4*d - 134. Let u be (3 - d/3)/(14/(-18)). Is u at most 6?
False
Suppose 0 = 2*m - 6*m + 3*f + 533, -5*m - 3*f + 646 = 0. Which is bigger: 133 or m?
133
Let i = 24724/13 + -1896. Which is greater: 7 or i?
7
Suppose i + 3*w = 6*w - 20, 0 = -4*i - 4*w. Is -29/7 at most i?
False
Let n be ((-3)/6)/(1/28). Let p = 8 + n. Let g be -2*1/(2*p). Which is smaller: -4 or g?
-4
Suppose 0 = -5*f + 4*l + 2, 3*f = -l - 7 - 2. Let o = -20 - f. Let h be o/63 - 53/(-112). Is h bigger than 0?
True
Suppose 4*q - 3*r + 3 - 16 = 0, -3*q = -2*r - 10. Suppose -4 = -4*a + q. Are a and 3 equal?
False
Let d = 247 - 361. Is -114 < d?
False
Let h be ((-1)/2)/(10/780). Let w = h - -38. Let f = -13.33 + 0.33. Which is bigger: w or f?
w
Suppose 0 = -3*t + 5*t - 18. Suppose 0*d - 5*d + 3*w - 8 = 0, 28 = -3*d - 4*w. Let j be (t/(-15))/(d/(-5)). Which is bigger: j or -1?
j
Let j = -1145 - -1139. Which is bigger: -73 or j?
j
Let m(l) = -l + 11. Let b be m(7). Suppose w = -b*w + 140. Let z(c) = 2*c**2 - 3. Let d be z(4). Which is greater: w or d?
d
Let p(k) = -k + 1. Let j be p(2). Suppose 3*l = l + 4. Suppose 4*r - 5*y = -1, 0*y + l = -r + 3*y. Is r greater than j?
True
Let r be ((-4380)/(-36))/(10/18). Which is smaller: 871/4 or r?
871/4
Let x be 50/((-2)/(-4 - -3)). Let b = -162/7 + x. Let d = b + -5/7. Which is smaller: 2 or d?
d
Let u(v) = -2*v**2 - 4*v - 18. Let q be u(0). Do -17 and q have different values?
True
Let r = -729 + 727. Suppose -2*i + 3*c - 1 = 0, 0 = i + 4*i + 2*c - 45. Let h = -11 + i. Which is bigger: h or r?
r
Let p be (23/9)/(2/(-12)). Suppose -64 = 24*s - 20*s. Is p greater than or equal to s?
True
Let u(l) = -l**2 + 23*l + 44. Let x be u(21). Which is greater: x or 85?
x
Let m = 77 - 76. Is m less than 9?
True
Let f = 2.48 - -0.32. Let q = -0.5 - 2. Let v = f + q. Is v at least as big as 4?
False
Let x(h) = h - 37 - 6*h + 4*h. Let n be x(-10). Suppose 0 = -5*j - 3*d - 141, -3*j = -d + 5*d + 89. Is n greater than or equal to j?
True
Let g = 144 + -429. Is g != -285?
False
Let s be (-8)/(-21)*(-1 - 7/(-4)). Suppose 0 = -3*u + 2*b + 4, -2*u + 3*b - 4 = 0. Let t be 0/1 + -3 + u. Which is greater: s or t?
t
Suppose 4*r - 25 = 23. Let j be (33/(-110))/(3/4). Which is greater: j or r?
r
Let z be 11/(-154) - 2/4. Let l be (-2)/2*-2*-1. Do l and z have the same value?
False
Let r be -3 + (-2)/3 - (-1)/(-3). Let z(i) = -i**3 - 3*i**2 + 5*i + 5. Let g be z(r). Is g > 30?
False
Let g(y) = -y**2 - 17*y - 70. Let q be g(-10). Which is greater: -4/107 or q?
q
Let w = -1/1147 - 4569/21793. Is 1 greater than w?
True
Suppose 7*d = 232 - 162. Let s(i) = 4*i - 3. Let j be s(2). Suppose d*g -