is smaller: p or 635?
p
Suppose -3*y + 7*y + 296 = -4*v, 0 = 3*v - 2*y + 212. Let o be (3/v)/((-27)/(-6) - -2). Are 0 and o unequal?
True
Let c be ((-173)/11)/(31 + -27). Let n = 46/11 + c. Let r = 4/129 - -367/645. Is r less than n?
False
Let y be -18 + 0 - (-4356)/242. Is -25/243 <= y?
True
Let a = 11557/1406 + -309/37. Let x = 3 + -2. Is a smaller than x?
True
Let k = 3894 - 3889. Is k smaller than -2551?
False
Suppose 1216 = 3*l + 4*x - 2493, l - 1271 = 3*x. Is 1249 at most l?
False
Let d be 3*5*9/(-135). Let s(k) = k**2 + 4*k - 1. Let w be s(-4). Let g be 4 + (2 + w)*2. Which is bigger: g or d?
g
Let a = 326 - 324. Suppose 3*n = -3*q + 4*n + 19, 3*q - 3*n - 21 = 0. Suppose -q = a*t - 2*f, -3*f + 0 + 8 = -2*t. Which is smaller: -2/129 or t?
t
Let q = 432 + -18574/43. Let w = -66 + 93. Let j = 26.7 - w. Which is bigger: q or j?
q
Let n = -4 + 3. Let u = 604 + -637.65. Let q = u - 1.35. Is q != n?
True
Let k = -2/441 - 563/882. Let j be 144/120*(-10)/(-6) + -2. Which is greater: k or j?
j
Let g be (8/14)/((-28)/(-98)). Suppose 4*v - g = -2*f, f = 2*v - 0*f - 11. Suppose 0*p + p - 5 = 0, 3*i = v*p - 138. Which is smaller: i or -42?
-42
Suppose 3*t - t = 0. Let s = -925433/96 - -9640. Is s at most t?
False
Suppose 0*r + 2*j - 4 = -r, -5*j = 3*r - 8. Let y be 6/15 + r/8. Let d(a) = -a**3 + 5*a**2 - 3*a - 3. Let x be d(4). Are y and x equal?
False
Let y = 4384 - 4358. Which is smaller: y or 11?
11
Suppose 14*l = -33 + 47. Which is bigger: 38/45 or l?
l
Let m be 1/5 - 660/(-75). Suppose -m*u = -14*u + 40. Suppose 4*l + 28 = -9*c + u*c, 2*c + 47 = l. Does -24 = c?
True
Suppose -20*o - 8642 = -9022. Let g be 4/(120/9)*183/3. Which is greater: g or o?
o
Let p be (4 - 218567/4) + -2. Let c = -4572439/84 - p. Let z = c - 206. Which is bigger: z or 0?
0
Let j = -377 + 376. Suppose g = 4*v - 306 - 56, 2*v + 4*g = 172. Which is smaller: j or v?
j
Let o be 136/30 + (-1)/5. Let s = o - 4. Let v = 125.98 - 126.06. Is s <= v?
False
Let i(k) be the second derivative of 27*k + 0 + 11/6*k**3 - 79/2*k**2. Let j be i(10). Is j bigger than 31?
False
Let n be (24/144 + 3/(-2))*3. Let z(h) = -152*h - 86. Let w be z(n). Are 521 and w unequal?
True
Let a(y) = 2*y - 3*y + 8 - 8. Let k be a(0). Let z = -761/9 - -84. Is k greater than or equal to z?
True
Let m = 155 - 191. Let n(w) = w**3 + 6*w**2 + 8*w - 2. Let h be n(-6). Let j = h - -13. Which is smaller: m or j?
j
Let u(d) = -2*d**2 + 24*d - 43. Let k(g) = -g**2 + 12*g - 21. Let n(s) = s - 2. Let z be n(13). Let x(v) = z*k(v) - 6*u(v). Let h be x(9). Is -1/14 != h?
True
Let p = 12872/135809 + 274322198404/74830759. Let c = p - 3666. Which is smaller: 0 or c?
c
Let h(l) = -l**3 - 11*l**2 - 9*l + 13. Let g be h(-10). Suppose 0*t = -3*s - t + 206, 5*s - g*t = 320. Let c(b) = -9*b - 42. Let a be c(-12). Are s and a equal?
False
Suppose 52290 = 34*n - 12*n + 61*n. Which is smaller: 633 or n?
n
Let q(v) = 22*v + 1783. Let m be q(-81). Let b = 1804 + -1531595/849. Which is smaller: b or m?
b
Let s = 829/66 - 25/2. Let v = -71 - -72. Which is smaller: v or s?
s
Let b = 4190 + -6692. Are b and -2502 unequal?
False
Let d be 12*(2 + -4 + 12). Suppose -2*w = -83 + 77, 2*n - 255 = -5*w. Is n less than or equal to d?
True
Let x = -4024/1547 - 20/119. Does -2 = x?
False
Let a(i) = -2*i**3 + 5*i**2 - 4*i + 4. Let u be a(3). Let v = -39 + 116. Let q = 60 - v. Is q > u?
False
Suppose 2*y + 2*s + 4 = -2*s, 5*s = -5*y - 30. Let d be (-670)/(-1555)*y/48. Let f = 2/311 + d. Is f at least 1?
False
Let h = 71920067399/18870 + -7622689/2. Let o = -18/185 - h. Let l(m) = 2*m**3 + 10*m**2 + 12*m + 59. Let k be l(-5). Are k and o non-equal?
True
Let y(m) = -m + 11. Let o be y(6). Suppose -2*d = -2, -2*n - 5*d + 80 = -o*n. Let h be (-2)/(88/1092) - 10/55. Are h and n equal?
True
Suppose 17 + 172 = 9*s. Suppose 0*f + 66 = 3*f. Let j = s - f. Does j = -3?
False
Suppose 18 = -2*k, 14 + 9 = -2*m - 3*k. Which is greater: m or 152/221?
m
Suppose -96*t + 101*t + 230 = -2*s, -t = -2*s - 206. Let d = 0.2 - 1.2. Is s less than d?
True
Let o be 0 + -23 + (-2)/(-2). Let s(x) = -6*x - 137. Let z be s(o). Is -28 at least z?
False
Let q = -63.9 - -63.8. Which is greater: -72/377 or q?
q
Let z(g) = -4*g - 21. Let r be z(-6). Suppose -r*u = n - 7, 4*n = 5*u - 8 - 15. Suppose 152 = 7*d - u*d. Which is greater: 37 or d?
d
Let b(y) = -33*y - 663. Let r be b(-22). Which is bigger: r or 76?
76
Let b be ((-1035)/(-95))/1 + 18/171. Let t be 35/(-11) + 2/b + 3. Is t greater than -2/33?
True
Let s be 3861/702*4/6. Is s bigger than 314?
False
Let s = 793 + -947. Is 0.06 at least s?
True
Suppose -u = 2*a - 33966, 12 = -54*u + 56*u. Which is bigger: 16979 or a?
a
Suppose 60 = 19*u + 41. Which is smaller: 3/176 or u?
3/176
Let j = -114 - -119. Suppose 0 = -j*p - f + 20, -4*f + 8*f = -5*p + 5. Let n be 10/(-646)*(12/p + -2). Which is smaller: 0 or n?
n
Let i(z) = 29*z + 812. Let p be i(-33). Which is bigger: p or -1608/11?
p
Let a(d) = -d**3 + 264. Let b be (-24)/(-40) - 12/20. Let y be a(b). Let c be 179/y + (115/(-15) - -7). Are 0 and c equal?
False
Let b be -2 + (0 - (-544)/108) + 6/(-2). Which is bigger: b or -1?
b
Let m be 4/14 + (-84)/(-49) + 322. Let u = 374 - m. Are 48 and u unequal?
True
Let r be (-139 - -141)*47/(-2). Is -79 smaller than r?
True
Let y be (-113490)/26*(-4)/18. Which is smaller: y or 6796/7?
y
Let u(x) = x + 75. Let o be u(23). Let d be (16 + (-1575)/o)/(1/4). Which is smaller: d or -26.8?
-26.8
Let m be ((-52)/66)/((-16)/(-12)). Let h = m + 12/11. Let a be ((-40)/8)/((-10)/8*2). Which is greater: a or h?
a
Let s = 760 - 1339. Let j = 577 + s. Which is smaller: j or -3.1?
-3.1
Suppose 5*r - 12*t + 117 = 1198, 5*r - 1042 = -t. Is r smaller than 229?
True
Let g = 8.4 + -10. Let h = g - -2.6. Let j = 456 + -455.985. Do h and j have the same value?
False
Let b be 500/(-918) + (8 - 5992/756). Let m(d) = -d - 2. Let z be m(-2). Is z > b?
True
Let j(z) = 62*z**2 - 31*z - 321. Let r be j(-8). Let n = r - 26939/7. Does n = 48?
False
Let q be 32 + (4 - -2) - 2. Suppose 44*p = q*p + 24. Which is smaller: p or -1/2?
-1/2
Let x = -33240487/17 + 1954554. Let n = 769 + x. Is n at least as big as 2/15?
True
Let k = -0.226 + -0.334. Let m = k - -0.6. Which is smaller: m or -28?
-28
Let n be (11/(-114) - 6/36)*22887. Let c = n + 6015. Which is greater: c or -7?
-7
Let s = 8.41 + -7.41. Which is smaller: s or 930?
s
Let b = -143 + 135. Let t be b + 20 + 7 + -2. Is t <= 17?
True
Let x be (((-126)/516)/(-3))/((-397)/(-132) - 3). Which is bigger: x or 12?
12
Let o be (-9)/(-6)*237*(-52)/(-117). Is 158 < o?
False
Let m = -385 + 390. Which is smaller: m or -179?
-179
Suppose 676 = -98*u + 111*u. Let s be (-320)/u*2/8. Which is smaller: s or -3?
-3
Suppose 0 = -4*o + 17 + 143. Suppose 3798 = 150*b - 702. Is o != b?
True
Let m be (-2)/(3/(9723/(-35))). Is m not equal to -2?
True
Let y = 10466 - 1276861/122. Which is smaller: y or 0?
y
Let o = 51/1799 + -208891/7622363. Which is bigger: o or 0?
o
Let f = 175 - 85. Let n be (-136)/f - (-12)/(-20). Let o = n + 179/72. Is o < -3/2?
False
Suppose 2*h + 2*m + 380 = 4*m, 7*h - m + 1300 = 0. Is -743/4 greater than or equal to h?
False
Suppose 0 = -4*q - u - 264, -2*q - 127 = -3*u + 19. Let c(y) = 3*y**3 - 44*y**2 + 33*y - 139. Let b be c(14). Do b and q have the same value?
False
Let z = -310.06 - -3.06. Let q = z - -308. Is q at least as big as 2/435?
True
Let j(r) be the first derivative of r**4/12 - 5*r**3/3 + r**2/2 - 4*r + 4. Let b(k) be the first derivative of j(k). Let u be b(10). Which is bigger: u or 1/19?
u
Let o be (-31)/((-13299)/(-26))*-11. Which is smaller: o or 23/76?
23/76
Let s = -41618200/749 + 55565. Which is smaller: 1 or s?
s
Let h = 59 - 115. Let u = -68 - h. Let k = u - -19.2. Which is bigger: k or 1?
k
Let m(g) = g**3 - 15*g**2 + 19*g - 69. Let x be m(14). Which is smaller: x or 2/769?
2/769
Suppose 0*u + 1 = -k - u, -k - 6 = 2*u. Let n be 5 + (-104)/56 - 0. Is n <= k?
True
Let p = -22 + 28. Let d be (-8)/(-9) + (-4)/p. Suppose 3*o = 3*a - 9, 4*a = -0*a - o - 3. Does a = d?
False
Let v = 74.36 + 0.64. Let z = 62 - v. Let u = -8/11 + 51/55. Is u equal to z?
False
Suppose -6532 = 1375*b - 1370*b - 4*x, 2*b + 3*x + 2576 = 0. Is b smaller than -1304?
False
Let p(b) = 4*b**2 + 49*b - 410. Let t be p(-18). Suppo