r: 22 or p?
22
Let w = 20 - 24. Let d be (1 - 2)*w/(-13). Suppose 5*x = -2*n + 3, -333*n + 335*n = -3*x + 1. Is d less than x?
True
Suppose 15*g - 74 = 61. Suppose -3*f + g = 0, 0 = -4*v + 6*v + 3*f - 7. Is v equal to -1/11?
False
Let x = 104174/5 + -20840. Are -53 and x equal?
False
Let i(c) = -c**2 + 37*c + 118. Let d be i(-3). Let p(v) = 7*v**2 - v. Let z be p(-2). Suppose 26 = 5*x - g, -z = -5*x - g + 6*g. Which is greater: d or x?
x
Let r = 8541 - 8541.1. Which is greater: 24.878 or r?
24.878
Let g = 7047 - 10236. Which is smaller: g or -2?
g
Let x be (-8)/(-52) + (-1694)/(-143). Suppose 0 = -o + x + 7. Which is smaller: 2 or o?
2
Let i = -4 - -2. Suppose 4031*h - 22 = 4033*h. Which is greater: i or h?
i
Suppose -a = -2*z + 28, 52*a - 28 = 47*a - 2*z. Let c be -8*(-2)/(-904)*2. Do a and c have the same value?
False
Let a = 0.1 - 0.4. Let d = 783973/11 + -71270. Which is greater: d or a?
d
Let c(x) = 0*x**3 - x**3 - 3*x**2 - 4*x + 38001 - 38003. Suppose -3*n = -5*v - 11, -5*v + 2*v = 5*n - 7. Let d be c(v). Do 1/49 and d have the same value?
False
Let j = -34284 + 34271. Let d be (2 + -26)*6/10. Are j and d unequal?
True
Let y = 63.54 + -13.54. Which is bigger: -15 or y?
y
Let v = -4876 + 736275/151. Which is bigger: 0.2 or v?
0.2
Let g be ((-152)/6)/((-11)/198*6). Suppose -64 = s - g. Is 54/5 less than s?
True
Let i = 40 - 2842/71. Suppose -2*s = 5*q - 15, -5*s = -4*q - 2*s + 12. Suppose 0*t - q*t = 0. Which is greater: i or t?
t
Suppose 0 = 8*r - 15*r + 23387. Suppose -r = 8*b + 1595. Which is smaller: -618 or b?
-618
Let k = -209/7160 - -3/716. Which is bigger: k or 3?
3
Let c = 3590 - 1840. Let h = c - 159246/91. Is h at most 1?
True
Suppose 0 = 3*m + 2*x - 313, m = -3*m - x + 424. Let y = m - 134. Let q be (-26 - y)*((-6)/128)/3. Is q bigger than 0?
False
Let d = 163/16 - 9451/928. Is 1 bigger than d?
True
Let j be (-1114)/(-24) - 85/(-68). Let l = j + -48. Are l and 71 nonequal?
True
Let s be 30783/(-1116) - (1 - 0)*1/4. Is -29 > s?
False
Let b(x) = -45*x + 26*x + 24 + x**2 - x. Let q be b(18). Let m be 1/(-4) - ((-30)/q - 3). Which is smaller: m or 15?
m
Let j(f) = -51*f + 2306. Let c be j(45). Which is smaller: 99/8 or c?
c
Let t(n) = -23*n - 8. Let b be t(-7). Let d = b - 175. Which is smaller: d or -0.1?
d
Let v = 2977 - 2977.1. Are v and -0.03009 non-equal?
True
Suppose -45*b - 17 = -62. Let m = 20503 - 122497/6. Let x = m + -87. Which is smaller: x or b?
x
Let p(o) = -o**2 + 73*o - 1053. Let i be p(54). Let v(m) = m**3 - 5*m**2 - 6*m + 12. Let q be v(6). Let s be (-107)/4 + (-3)/q. Is s <= i?
True
Let t = -17547 - -8211991/468. Which is greater: -2 or t?
t
Let x(c) = 289*c**2 + 50*c - 150. Let a be x(3). Are a and 2602 equal?
False
Let i be 4*5/22 + -1. Let q = 5.3447 + -6.2447. Which is bigger: i or q?
i
Let y = -224 + 224. Suppose y = 5*c - 45 - 35. Which is smaller: c or 15?
15
Suppose 44 = 4*q - 2*q. Let w(p) = -8*p - 34. Let i = 239 + -246. Let t be w(i). Is t < q?
False
Let x = 0.8285 - -0.1715. Let h = -76.8 + 69. Let b = -9 - h. Which is smaller: x or b?
b
Let r = 784 - -41. Is 825 at least r?
True
Let t be 36/(-108)*(-1 - 11). Suppose 19*h + 3*f - 59 = 17*h, t*h - 93 = -f. Let p = 3 - 2. Is h not equal to p?
True
Let g be (-2)/(-1 + 66/78). Which is smaller: g or 12?
12
Suppose 4 = -2*s - 5*z + 6, s = -2*z. Let i(t) = -2*t**2 - 7*t + 7. Let y be i(s). Is y <= -9?
False
Suppose -4*t = 3*l + 8545, -l = -546*t + 542*t - 8565. Which is bigger: -2139 or t?
-2139
Let b be 4 + 4 - 60/2. Let v(k) = -k**2 + 19*k - 5. Let i be v(20). Which is bigger: i or b?
b
Suppose -5*w + 2 + 7 = 2*p, 0 = -3*p - 4*w + 17. Suppose g + 8 = p. Let x be 100/40*(-8)/(-1250). Is g at most x?
True
Let d = -1384 + 1292. Is d <= -96?
False
Let u = -253 - -61. Let c be (-2)/(-9) - u/(-135). Let r = -25 + 23. Does c = r?
False
Let o be ((-5)/(-15) + 1/(-3))*2/4. Which is smaller: 38/67 or o?
o
Suppose 2*f + 36 = -4*o, -4*f + 17 = -5*f - o. Let t = 193 - 188. Let j be 15*(-6 - -1)/t. Is f less than or equal to j?
True
Let k be (-259)/222 + 9/6. Is 11.21 smaller than k?
False
Suppose -13*k - 977 - 316 - 1060 = 0. Which is greater: -179 or k?
-179
Let x = 3431 - 3580. Which is smaller: 7 or x?
x
Let w(k) = 3*k**3 - 8*k**2 - 6*k + 8. Let z(x) = -8*x**3 + 23*x**2 + 17*x - 23. Let t(h) = 11*w(h) + 4*z(h). Let v be t(-2). Is -433 less than v?
True
Suppose -5*y = -128 - 107. Suppose -y*w + 14140 = -67*w. Which is bigger: -708 or w?
w
Let k be (-175)/(-15232)*(-402)/(-580). Let z = -2/493 + k. Which is smaller: 1 or z?
z
Let v = -33 - -81. Let p be (-3)/(-4) - 52/v. Let d be (3 - 96/30) + 18/15. Is d greater than p?
True
Suppose 7 - 142 = -3*d. Suppose c = -d*c. Which is smaller: c or -2/2561?
-2/2561
Let s = -153237219/31 + 4943581. Let n = s - 445. Let r(v) = -8*v - 57. Let g be r(-7). Is n < g?
False
Let h = -20.5 - -20.39. Let o = 1.11 + h. Is 3/13 less than or equal to o?
True
Let g be ((-425)/51)/((-111)/9). Let f = 5087/7474 - g. Which is smaller: f or -1?
-1
Let y = -132 - -162. Suppose -9*n + 39*n - y = 0. Is 308 at least as big as n?
True
Let c be 1/(-6) - 10*9112/480. Is c less than -198?
False
Let f be 284 - (48/18)/(4/(-6)). Let l be (111/(-4))/((-4)/(f/(-27))). Let o be (l/259)/(((-3)/(-7))/1). Is o greater than 0.25?
False
Let h(b) = -3*b**2 - 4*b + 32. Let p be h(-4). Let u(w) = 288*w**2. Let v be u(1). Let f = v - 2022/7. Which is greater: p or f?
p
Let n = 0.193 + -0.294. Let y = n - 60.899. Let t = y - -61.23. Which is greater: t or 1/4?
1/4
Suppose t - 2*k + 169 = 0, -t - 4*t - 823 = k. Which is smaller: -5 or t?
t
Let s = -8228909/1029 - -7997. Which is smaller: s or 1?
s
Let q = 120/13 - 1346/143. Suppose 4*y = -4*t + 4, 4*y = 5*t - 0 - 5. Suppose a - 4*a + 3 = y. Is q at most as big as a?
True
Suppose 0 = 15*h - 13*h. Let a = 99 - 169. Let u = a + 81. Does h = u?
False
Let i(l) = -4*l**2 + 52*l + 3. Let o be i(13). Let n = 41 - 45. Let a be ((17/2)/(4/(-8)))/n. Which is smaller: a or o?
o
Let v be 19397414/(-22169808) - 7/(-8). Which is bigger: v or 0?
v
Let m be ((-4)/(-10))/((-138)/(-5)). Let z = m - 74/345. Let t be (-4)/2 + 6 - (-5)/(-1). Is t greater than or equal to z?
False
Let o be (-10)/104 + (-2)/(-8). Suppose 9*v = -418 - 5. Let c = -48 - v. Is c >= o?
False
Let a(j) = 2*j**2 - 4*j + 4. Let o be a(7). Suppose 11*r - 4*r = 91. Suppose r*l = 17*l - 4*w - 280, 5*l + w = 368. Which is bigger: l or o?
o
Let o = 20.07 - 7.37. Is 47 equal to o?
False
Let j be 6173/(-14371) + (-378)/(-882). Which is smaller: -1 or j?
-1
Let s(p) = 172*p - 885. Let b be s(8). Is 492 equal to b?
False
Let n be (-4)/(-10) - 4/12. Suppose 5*c = s + 16, -4*c + 7*s - 3*s = 0. Let f be c + -3 + 4 + -5. Which is bigger: f or n?
n
Let h be 1/8 - (-1904)/128. Suppose -5*g + h = -55. Suppose -3*t - 4*w = -55, 2*t + t - 19 = 5*w. Which is bigger: g or t?
g
Let m(s) = 305*s**3 - 10*s**2 - 2*s + 14. Let h be m(3). Is 8154 at most as big as h?
False
Let f be -2 + 19/(3 + -4). Let g be (-6)/f + (-60)/14. Let d be g/20 - 91/(-55). Is d at least as big as 1?
True
Let g = -12519 - -237845/19. Which is bigger: g or 1?
1
Let n = 0 + 0.02. Let u be ((-1606)/(-4015))/(6/27 + 0 + 46/360). Are n and u equal?
False
Let b be 7 + -8 + 4*-1. Let i = b + 3. Let u be (-120)/(-78) + ((-8)/(-26))/i. Which is greater: u or 1?
u
Let c = 4536 + -4551. Is -108/7 greater than or equal to c?
False
Suppose 3*u + 2*w + 865 = 0, 10*w + 1450 = -5*u + 5*w. Is -0.01 at least as big as u?
True
Let t(h) = -h**2 + 3*h - 4. Let o be t(2). Let y be o/(-5) - (-6 - 54/(-10)). Let j be (-2)/69*(y - -17). Which is greater: -2 or j?
j
Let m = -25647/384391 + -3/4319. Is m at most as big as 2/71?
True
Let l be (1490/1115)/(75/(-6)). Let u be -4 - -7 - 1326/446. Let m = u + l. Which is greater: m or -0.1?
m
Suppose -2*t + 2*r - 2338 = 6*r, 2*t + 2*r + 2348 = 0. Is -1179 smaller than t?
False
Let d = 1262 - 1276.49. Let f = d - -0.49. Is -7 at least f?
True
Let d = -105.1 + 154. Let c = 49 - d. Let o = 18 - 240/13. Is c != o?
True
Let x = 4/465 - 1579/21390. Which is smaller: x or -1?
-1
Suppose -624 = -5*x - 2*f - 7697, -4*x + 3*f = 5663. Is -1413 equal to x?
False
Suppose 0 = -4*k + 2*k + 174. Let h(q) = q**2 - 23*q + 86. Suppose -100 = -10*w + 5*w - 3*m, -5*w + 130 = -3*m. Let i be h(w). Are k and i eq