r: p or u?
p
Suppose 4*v + 3*p = 343, 214*v - 213*v - 5*p = 57. Which is smaller: v or 84?
v
Let u = -0.2 - 0.16. Let c = -0.46 - u. Which is bigger: c or 184?
184
Suppose 2*j + 15 = 3*y, 5*y - 3*y - 2*j - 12 = 0. Suppose 0*q - 4*q = -4*b - 16, y*b - 4*q = -16. Is b at least as big as -307?
True
Let v = 1535119/251 + -6116. Which is smaller: -1 or v?
-1
Suppose 3*h - d + 3065 = 0, 5*h - 6*d = -2*d - 5113. Let p = h - -1015. Is p >= -13?
True
Let v be ((-6)/(-29))/((-75)/(-920)). Let a = v - 8773/9570. Let b = -1/22 - a. Which is greater: 1/6 or b?
1/6
Let i be (-43)/(142/(-49) + (-8 - -19) + -8). Is i < -420?
True
Suppose 3*r - 636 = 291. Let u = r + -348. Is u smaller than 2?
True
Let i = 57318 + -469262467/8187. Is i < 0?
True
Suppose g - 120 + 126 = 2*n, 0 = 2*n - 6. Which is smaller: -32.24 or g?
-32.24
Suppose 4*m = -104 + 12. Let p be (-2 - 7) + 16/2. Let o be 8 - p/(6/(-184)). Is o smaller than m?
False
Let w be (-248)/155 - -2*1/(-5). Let z be ((-3 + 5)/(-2))/(w - -3). Let g be (-2)/(-5)*((-10)/4 - z). Which is bigger: 2/53 or g?
2/53
Let v = 1.42 + -38.42. Let s = 48 - 9. Let m = s + v. Is m smaller than 0.14?
False
Let g be -1*(-3)/(-6) + (-1008)/(-224). Which is smaller: g or 89/33?
89/33
Let c = 3020 + -2350. Which is greater: c or 668?
c
Let p(x) = -x**2 - 9*x - 10. Let c be p(-2). Suppose c*t - 9 = -3*l, 0*l - 4*l + 12 = 0. Let u be (-5 - t)*8/(-26). Is u < 3?
True
Let b be 1 + ((-15)/(-3) - 3). Suppose -2 = -b*h - 5. Let x be (2 - -4) + 1784/(-296). Which is smaller: x or h?
h
Suppose 3*r - 2*s = -1142, 162*s + 1 = 163*s. Is r greater than or equal to -380?
True
Let k be ((-90)/25 - 0)/(70/(-2700)). Which is bigger: k or 1/3?
k
Let w(f) = 178*f + 1151. Let t be w(-7). Is -52 less than t?
False
Let h be 1*((-21)/15 + 1). Let n = -0.67 + -18.33. Let u = n + 24. Which is greater: u or h?
u
Let w = -1916/71435 + 18/455. Let l be (-5 - 80 - -11)/((-1)/10). Let g = l + -739. Which is greater: g or w?
g
Let i = -85.8 - -136. Let a = -49 + i. Let z = 307 + -308. Which is greater: a or z?
a
Let f be -6*(-7)/(-3)*(-23282)/79. Let p = f - 4126. Is p < 1?
True
Let j = 1.627 + -2.627. Is -29/82 less than j?
False
Let z be (-1)/(7900/(-27552) + (-4)/(-14)). Let v = z + -1049. Is -63 at least v?
True
Suppose -23*t = -24*t - 62. Let l = t + 47. Let s be (l/5)/(-24)*-2. Which is smaller: s or -5/4?
-5/4
Let u = 11 - 11. Suppose u = 3*x + 18 - 78. Let f be (8/x*-18)/((-4)/(-30)). Do -56 and f have different values?
True
Let t be (-24)/(-2) + (-11980150)/998361. Which is bigger: t or 1?
1
Suppose 10*u + 7531 = 27*u. Let x = 444 - u. Let o be 6/200*(1 - 5). Is o equal to x?
False
Suppose 0 = -4*a - 7 + 19. Let v be 11 + (-1 - (-5 - -1)) + a. Suppose j - 4*u + u = v, -4*j + 68 = -u. Is j bigger than 17?
False
Suppose -5*d - 40 + 14 = n, 0 = -7*n - d - 12. Is -3/91 bigger than n?
True
Let s = -1832 - -1910. Is s at least as big as -39?
True
Let f = -287.193 - -281.1. Let u = 6.12 + f. Is u at least as big as -2/3?
True
Let u(f) = -17*f - 6. Let b be u(-2). Let r = 5 - b. Let i = r - -24. Which is smaller: -0.8 or i?
-0.8
Let k = 10 - -3. Let t(g) = -g**2 + 12*g + 15. Let h be t(k). Suppose 5*b = -h*c + 14, 4*c + b - 6 = 4. Is -3 >= c?
False
Let n(d) = 14 + 35 + 5 - 13 - 3*d. Let b be n(-11). Let v = b - 78. Which is bigger: -5 or v?
v
Let d be (5 - 330/18)*21. Let s = -371 - d. Which is greater: s or -92?
s
Let z be (-7)/(-98)*7*(-2 - -2). Let g be (z - -3)*(-5)/30*-2. Are 4 and g non-equal?
True
Let u = 93 - 58. Let f(k) = 4*k**2 + 27*k + 133. Let n be f(-5). Suppose 3*y = -3*l + 100 + 23, -3*l + n = -2*y. Which is bigger: u or l?
l
Let k = -26/349 - 18987/2792. Does -6 = k?
False
Let k be 2220 - ((-6 - -5) + 4)*1. Suppose -k = -5*x - 2342. Suppose 3*o + 2*i = -78, 0*o + 18 = -o + 2*i. Which is smaller: x or o?
x
Let o = -329016/23 + 14306. Is o less than 1?
True
Let d(l) = -l**3 + 5*l - 5. Let k be d(2). Let u be (129 - k) + -3*3/9. Which is bigger: 132 or u?
132
Let h(u) = u**3 + 9*u**2 - 9*u - 16. Let y be h(-10). Let z(m) = -m**2 - 23*m + 79. Let b be z(y). Which is smaller: -3/25 or b?
-3/25
Let v(h) = h**3 - 4*h**2 - 4*h - 2. Let q be v(5). Let i(g) = -g**3 + 3*g**2 - 1. Let x be i(3). Let d = q + x. Are d and -0.06 nonequal?
True
Let k be 0 + 2/(-3 + 4). Suppose 0*c - 39 = 2*c - 5*u, -5*c = -k*u + 108. Is c not equal to -17?
True
Let l = -303 + 302.98. Let p = 0.05 + -0.04. Let g = p - l. Which is smaller: g or 6?
g
Let j be (-134446)/53820 - (-1 - 9/6). Is 2/7 equal to j?
False
Suppose 4*h - 2*f - 3*f + 8 = 0, -4*h = -3*f. Let p be (-8)/(-20) - (3 - h). Let i = 15 + -38. Which is greater: p or i?
p
Let w = 965 - 715. Suppose 0 = 2*u + 2*l - 298, 4*u - 846 = 3*l - w. Which is smaller: 150 or u?
u
Let q = -312 + 315. Suppose q*j + 2 = 5*j. Which is smaller: j or -5/114?
-5/114
Suppose 22*l - 510 = -63*l. Is 150/29 equal to l?
False
Suppose 33 = -2*u + 2*b + 95, 4 = -b. Suppose -22*r + u*r = 75. Is 16 less than r?
False
Let c = 659028931/61 - 10804442. Let l = 689 + c. Which is smaller: -1 or l?
-1
Let c = 51 - 56.94. Let s = 2.94 + c. Is -0.12 less than or equal to s?
False
Let l(y) = 11*y + 8*y + 8*y + 50 - 33*y. Let i be l(10). Let r be 35/i*((-22)/(-7) - 3). Do r and 25/6 have the same value?
False
Suppose 5*d + 5 = 0, -5*d + 20 = w - 2*w. Let f = -20 - w. Which is bigger: f or 14/3?
f
Let n = 66 + -63. Suppose -4*w = 3*k - 2, -5*w = -n*k + 8 + 3. Let s = 166690/87 - 1916. Which is bigger: s or w?
s
Let g = -1.85 + -1.33. Let k = 0.82 - g. Let t = 5 - 5. Is k greater than or equal to t?
True
Let a be (-23)/((-69)/21) + (-47 - 1). Do a and -44 have different values?
True
Let b be (-7 - 2879)/13 + -11. Which is smaller: 3 or b?
b
Let y = -3.13 - -0.13. Let b = -8.79 - 0.21. Let v = y - b. Is v > 1?
True
Suppose 11*s - 5*s - 4584 = 0. Suppose 7 + 13 = 5*z. Let x be (-1)/z - (s/208 - 4). Which is smaller: 1 or x?
x
Let m = 9947/54714 + 1/54714. Which is smaller: m or 35.5?
m
Let n be (-180)/(-80)*24/(-9). Let a be (2 - 128/n)/(1/(-3)). Which is bigger: a or 0.3?
0.3
Let s = 192.04 + -190. Let i = -2.01 + s. Which is smaller: i or 13?
i
Let q(h) = h**3 - 3*h**2. Let l be q(-5). Let b = l + 297. Is 96 greater than or equal to b?
False
Let j be 0 + 12 + (1 - 0). Let h be 117/54*3*2. Is j less than or equal to h?
True
Suppose 2*x + 6 = -4*c, -3*x = -c + 1 + 22. Let t be (98/(-35) - 2)/((-1)/(-8)*6). Which is bigger: x or t?
t
Suppose 0 = -4*w - 0*v + v + 3, 2*w + 3 = -v. Suppose 8*c - 48 + 8 = w. Suppose -7 = 3*s - 2*j - 27, 4*j = c*s - 34. Which is bigger: 14 or s?
14
Let f(z) = 3*z**2 + 2. Let d be f(3). Let y(v) = -v - 26. Let k be y(48). Let q = k + 103. Do q and d have the same value?
True
Let p be (-1)/(-166)*-1322 - (-4 + -4). Which is greater: -9 or p?
p
Let w(a) = -130*a + 267. Let f be w(-5). Which is bigger: f or 916?
f
Let q be (-2)/7*((-10 - -20) + -17). Which is smaller: q or 269?
q
Let w = 254 - 174. Suppose 3*n + 5*z = 220, 2*n - 31 = 2*z + 137. Is n <= w?
True
Suppose 2*f + 111 = -5*l, f - 18 = l + 7. Suppose -27 = -6*s - 3*s. Which is greater: l or s?
s
Let x(v) = v**2 + v + 3 + 14*v + 24. Let g be -16 + (-25)/10*(-42)/35. Let l be x(g). Which is bigger: l or 8/5?
8/5
Let j = 12943 + -19255. Which is smaller: j or -6311?
j
Let s = -24 - -28. Suppose -4*i = s*j - 100, 3*j - 25 = 4*i - 90. Let a = i - 262/13. Is 1 >= a?
True
Let n(z) = z**3 + 3*z**2 - 6*z + 4. Let s be (-500)/(-180) + (-4)/(-18). Let g be n(s). Which is greater: g or 42?
42
Suppose -1910 + 1973 = -63*i. Which is greater: -1/656 or i?
-1/656
Let b be (-6191)/(-1312) - (0 + 4). Let k be (-2)/((2 + -30)/(-7))*0. Which is smaller: k or b?
k
Let b(a) = -95*a - 2. Let g be b(2). Let y = -18196 + 18004. Is y at most g?
True
Let y = -0.515 - 0.165. Let k = y + 0.38. Let q = 0 - -0.1. Is k < q?
True
Suppose -7*i - 25 = 17. Let y be i/(66*4/16)*3. Let w = 18 - 18. Which is smaller: w or y?
y
Let a(o) be the third derivative of -o**6/120 + 7*o**5/60 - o**4/6 - o**3 + 4*o**2. Let g be a(6). Let i be 102/80 - (72/30)/g. Does i = 2?
False
Suppose 64 = -4*a - 2*j, 0*a + 5*j + 25 = -a. Let h = a - -19. Let y be (1*9/15)/((-3)/h). Which is bigger: y or -1?
y
Let f = -98 - -104. Let o be f/(-9) + (-7314)/(-10998). Which is smaller: o or 1?
o
Let w be 180/450 - 4/10. Is w at leas