r: 3 or q?
3
Let q be (-4)/(-1) + -10 + 3612/240. Let h = q + -44/5. Let p = -0.5 + -13.5. Which is bigger: p or h?
h
Suppose 0 = 692*s - 668*s. Is s bigger than 5/216?
False
Let n = -4 + -5. Suppose 0 = -c - 4*c + 5*u, 0 = 2*c + 3*u - 5. Let g be n/(-4) - (0 - c/(-4)). Is 7 less than g?
False
Let p be 42/(-8) - (-273 - -267). Is p greater than -34.83?
True
Suppose -p + 72 = -7*p. Let q be ((-8)/6)/((-140)/p - -2). Let b be (-4)/(8/(-2))*-1. Which is bigger: q or b?
q
Let t = 18403277/63900 + -20386/71. Let p = t + -22/25. Which is smaller: -1 or p?
-1
Let z be ((-1*1)/(-2))/(41/((-5904)/11934)). Is z less than or equal to -1?
False
Let x = 4.108 + -4. Let v = -3.892 - x. Let s = 4 - -1. Is s < v?
False
Let p be ((-16)/6)/(-6 - (-1865)/270). Let q = p + 22510/7693. Which is smaller: q or 0?
q
Let y be (-9)/(-45) + ((-4968)/40 - 3). Which is smaller: 1 or y?
y
Let a = 35554 - 35550. Let u = -15 + 32. Is u greater than a?
True
Let y = -2 + -229. Let n = y - -223. Which is greater: -2/9 or n?
-2/9
Suppose 0 = 3*c - 3*l + 2 + 4, 4*c + 5*l + 17 = 0. Let n be c + ((-30)/12)/((-1)/(-4)). Which is smaller: -150/11 or n?
-150/11
Let z be (194380/105820)/(6*1). Let k = 3/962 - z. Is k at least -1?
True
Suppose -2*y = 2*q - 718, q - 1805 = -5*y + 6*q. Let v be (2/6)/(4/(y/6)). Suppose -3*b = 0, 0*z - 34 = 2*z + v*b. Is -14 >= z?
True
Let c be (28/(-63))/((-4)/18). Let v = -166 + 176. Suppose p + c + v = 0. Is -11 < p?
False
Let n = 33421 - 39379. Which is bigger: n or -1/5?
-1/5
Let y = -555539167/7098 + 78267. Is -1 greater than y?
False
Let b be ((-30)/2650)/(618/(-84) + 8). Which is greater: b or 1?
1
Let h be (-1)/(-3)*(-1 + 4). Suppose -a + 7*c + 4 = 4*c, -20 = 5*a + 5*c. Let p be 1/a*0 + 183/(-488). Which is smaller: h or p?
p
Suppose -26*s = -500 - 696. Is 416/9 less than s?
False
Let u = -39 + 99. Let r = u - 60. Let i = -165 - -124. Is i at most as big as r?
True
Let n = 38.919 - -0.081. Let j = n + -113. Let r = 73 + j. Is r smaller than 2/11?
True
Let w be ((-799552)/1365)/1 - (-4)/14. Let c = -590 - w. Is c greater than -4?
False
Let a be (1127/343)/(2/14) + 5. Suppose 0 = 4*w + w - 130. Are w and a equal?
False
Suppose 2*h - 11*d = -12*d + 115, -3*h - 2*d = -171. Is 41 less than or equal to h?
True
Let c(s) = -s**3 + 8*s**2 + 585*s - 19. Let g be c(30). Is g != -2272?
True
Suppose 0 = 28*l - 26*l + 20. Let s = 6.3 + -6.36. Let k = s + 2.06. Are k and l unequal?
True
Let t(b) = b**3 - b**2 + 10. Let j be t(-6). Let m = j + 245. Let y be (-7)/(-14) - (-3)/(-30). Is m != y?
True
Suppose -10*h = -7*h - 141. Suppose 16 + 29 = 5*j. Let y(u) = u**3 - 9*u**2 + 4*u + 11. Let n be y(j). Is h at least n?
True
Let s = -14431/17958 + 98/123. Suppose -2*t + 0 = 2. Which is greater: s or t?
s
Let o be 8 - (-7 + (0 - -12)) - 4. Which is smaller: o or -3378/7?
-3378/7
Let q be ((-4)/(-8410) - 0)*5. Let b = 36155/3364 + q. Let a(l) = 58*l + 1693. Let t be a(-29). Which is smaller: b or t?
b
Let c(m) = 7*m - 9. Let t be c(10). Suppose -24*r + 1922 = 7*r. Is t less than or equal to r?
True
Let u = 4552 + -4565. Do 116 and u have different values?
True
Let l be (-5 + (-5118)/(-1020))/(-3). Let k = -87/340 - l. Is -1/2 equal to k?
False
Let r be ((-6069)/(-28))/((-4)/(64/18)). Let p = -190 - r. Is -6 less than or equal to p?
True
Suppose -6 + 2 = -o, -2*o = -2*k + 152. Let d = k + -78. Suppose -4*p - 1 = -5. Which is smaller: d or p?
p
Let h = -4349 - -4299.09. Let w = h + 50. Is w greater than or equal to 2/51?
True
Suppose 0 = 7*s - 232 + 239. Let d(u) = 3*u**3 + 2*u**2 - 2*u - 3. Let q be d(s). Which is smaller: q or -10?
-10
Let a = -2838 + 1275. Let q = -14053/9 - a. Let f = q + -181/99. Which is bigger: f or 2?
2
Let m = -0.344 - -0.5. Let u = m + -82.156. Let q = 83 + u. Which is smaller: q or -18/7?
-18/7
Let l = 0.77 + -0.8. Let k = -40.48 + 35. Let a = 7.48 + k. Is a smaller than l?
False
Let r = -360671/5 - -71491. Do r and -644 have different values?
True
Let q be ((-144)/240)/(6/(-350)). Let b = -102899/6 - -17208. Let c = b - 68/3. Is q at most c?
True
Suppose 0 = -4*g + g - 9, 8 = -5*a - g. Let r be 27/210 + (2 - 11/5). Is r greater than a?
True
Let f = -126 - -194. Let u be -26 + (-6)/8 + 51/f. Which is smaller: -25 or u?
u
Suppose 5*r - 11 = 4. Suppose -r*l + l = -18. Suppose -13*o = -151 - 18. Is l bigger than o?
False
Let k = 1762 - 1762.1. Which is greater: k or 825?
825
Suppose -5*o = 4*p + 32, 5*p + 15 + 25 = 4*o. Suppose u = -4*x + 2*x + 763, -5*u = -3*x + 1177. Let g be (-9)/x*10 + (-2)/p. Which is smaller: -1 or g?
-1
Let p = 8749 + -113679/13. Let z be 111250/(-23088) + (-285)/(-760). Let k = p + z. Is 0 >= k?
False
Let i(n) = n**2 - 8*n + 8. Suppose 6 - 14 = -t. Let j be i(t). Let d be -4 - 8 - (4 - j). Which is smaller: -14 or d?
-14
Let v = 106 - -43. Let q = v - 150. Which is smaller: -4/5 or q?
q
Let o = -2993 + 3082. Which is smaller: o or 986/11?
o
Let w be -1 - -1 - (-1 - (-3 - -105)). Let g = w + -95. Which is smaller: 62/9 or g?
62/9
Suppose 0 = 2*x - q - 221, -328 = -5*x + 2*x - 2*q. Suppose -x = -10*g + 12*g. Let t = g - -56. Which is smaller: 5/7 or t?
5/7
Let x be ((-4)/110)/(2/(-10)) - 594/3267. Is x less than 401?
True
Let q = -0.38 + 1.38. Let v = 1.5 + q. Let p = -1.5 + v. Which is smaller: p or 2/7?
2/7
Let v = -5182 + 5357. Is v bigger than 167?
True
Let y(c) = c**3 + 3*c**2 - 6*c - 3. Let w be y(-4). Let d be w/(-3)*12/930. Let m be 0 - (0 + 7) - -7. Are d and m nonequal?
True
Let x = 4953.39 + -4932. Let l = x + 1.61. Which is bigger: 0.2 or l?
l
Suppose -116*y + 84*y + 50848 = 0. Is y bigger than 2?
True
Suppose 401*s = 393*s + 120. Is s less than or equal to 420/29?
False
Let h be (-5)/3*6/(-10)*37. Let x = -75 - h. Are -113 and x equal?
False
Let i(u) = 2*u**3 + 7*u**2 + 5*u + 2. Let f be i(-4). Suppose 2327*j + 835 = 2305*j + 131. Which is smaller: f or j?
f
Suppose -2*f = -18, 37956 = -23*w + 19*w + 4*f. Which is greater: w or -9481?
w
Suppose -41 = 3*v - i - 5, 0 = i - 6. Let z be (6/14)/((-3)/11450). Let o = z + 1625. Which is smaller: v or o?
o
Let i be 2 - (11/(-66) + (-3)/(-2)). Let b(h) = -h**3 + 23*h**2 - 4*h - 11. Let o be b(23). Which is bigger: o or i?
i
Let b be ((-1)/(10955/126))/(-2*(-4)/(-20)). Is b smaller than 0?
False
Let v(i) = 444*i + 3383. Let s be v(-8). Which is greater: -146 or s?
-146
Let k = 2479 - 2480. Are -3/1354 and k equal?
False
Let d(k) = 2*k**3 + 11*k**2 - 13*k - 12. Let n be d(-6). Suppose -3*v + 21 = 4*z, -7*v + 4*v - z + n = 0. Suppose 0 = -4*x + 2*x + 22. Is v > x?
False
Let u = -2374 - -40360/17. Do u and -4/47 have the same value?
False
Let l(r) = 196*r - 588. Let q be l(3). Is q equal to 4/3581?
False
Let w(c) = -41*c + 744. Let d be w(21). Do d and -141 have the same value?
False
Let d = 273 - 273.21. Let k = -0.01 - d. Which is smaller: -6 or k?
-6
Suppose 3*x - 142 = 5*n, -5*n + 122 = 5*x - 2*x. Suppose 22 + 60 = 2*d. Let u = x - d. Which is smaller: u or -2?
-2
Let y(f) = 28*f + 30. Let w be y(-17). Let n = -2671 + 2226. Which is greater: n or w?
n
Let q = 1980 + -7963/4. Suppose 4*b + 48 = 3*n, -3*b + 0*n - 36 = n. Which is smaller: b or q?
b
Let a be (123 + -5)*(-35)/10. Are -416 and a equal?
False
Let w = 201090/371 - 375711115/693028. Let t = -1/934 - w. Which is smaller: 0 or t?
0
Let b = 253.444 - -0.556. Let o = 253.999 - b. Which is smaller: 2/5 or o?
o
Let h = 5 - 4.7. Let j = 1898 + -1899.4. Is j bigger than h?
False
Let c = 65583 + -65581. Let l = 18 - 30. Let y = l - -28. Which is smaller: c or y?
c
Suppose -n = 4*a + 74, -153*a + 182 = -4*n - 150*a. Let x be (-9)/(-3)*99/(-6). Which is greater: n or x?
x
Let l be (4 - 2) + 74/(-38). Let x = -2438 - -2437. Are l and x equal?
False
Let y be (-1 - 190/14)/(1342/(-22143)). Are y and 241 nonequal?
True
Let w = -1 - 130. Suppose -2*g - 314 = 3*q, g - 233 + 273 = 5*q. Which is greater: g or w?
g
Let f = -22 + 22.11. Suppose -24*a = 1765 + 683. Let p = 1324/13 + a. Which is smaller: p or f?
p
Let p(g) = -g**3 - 35*g**2 + 145*g + 5019. Let w be p(-32). Which is greater: w or -8083/3?
w
Let n be (-21)/65 + 4/10. Suppose 5223 = 10*u + 93. Let r = u + -512. Is r less than n?
False
Let x be -2042*(-6)/(-120) - 8. Let c = 488/5 + x. Is c != -13?
True
Suppose 29*a + 4*o + 26 = 34*a, 3*a + 6 = -3*o. Is a smaller tha