or x?
x
Let r be -1*2/(-18)*-3. Let d = -1324 - -7927/6. Which is bigger: r or d?
r
Suppose -6 = 2*d + d. Let a(y) = y**3 + 7*y**2 + 5. Let g be a(-7). Suppose 2*b = 3*m + g*b, 4*b = -3*m + 3. Do d and m have the same value?
False
Let y(n) = n**2 + 15*n + 15. Let r be y(-16). Let b = r - 30. Are b and 2 equal?
False
Suppose -516*x = -508*x. Which is smaller: 2/497 or x?
x
Let n = 8 - 9. Let h be -1 - (n - 552/15). Let r = -37 + h. Is r at least as big as -1?
True
Let n = 66/5 + -13. Let i = 151/780 - n. Let k = -145/1716 + i. Is -1 equal to k?
False
Suppose 2*n = -5*g - 4 + 1, n = 2*g + 3. Let o = -3/2 - g. Is -4 greater than or equal to o?
False
Let s be (-56)/15750*(15/(-6) - -1). Which is smaller: s or -1?
-1
Let y = -77 + 79. Let n be ((-1)/13)/(y/(-6)). Is n less than -1?
False
Let m(r) = 33*r**2 + 36*r**2 + 11 + 24*r - 68*r**2. Let q be m(-24). Does q = 31/3?
False
Let y be (75/12)/((-1)/4). Let w = y + 16. Let g = w + 10. Which is greater: g or -7?
g
Suppose -4*t + 17 = 9. Suppose -2 - t = s. Is s less than 2/11?
True
Let w = 285921/121 + -2363. Which is greater: 0 or w?
0
Let c = 24365/12 - 2052. Let k = 46/3 + c. Are -6 and k non-equal?
True
Let l = 2709 + -2711. Let w(f) = -f**2 + 7*f + 6. Let d be w(6). Let i = 8 - d. Is i > l?
False
Suppose 3*q = 12 + 3. Suppose q*z - 8 = 7. Let x be -3*(4 + -2 - z). Which is greater: 6 or x?
6
Let t(c) = 2*c**2 + 14*c - 13. Let h be t(-10). Suppose 3*g + h = -4*f, 3*g = -0*f + 3*f + 30. Which is greater: f or -8?
-8
Let v(u) = -u**2 + u + 4. Let i be v(3). Let s be 5/(-50)*i*-32. Is -5 < s?
False
Let f be (-420)/1029 - (-6)/15. Is -1 >= f?
False
Let h be (-1 - 4) + 1 + 3220/736. Which is greater: 0.03 or h?
h
Let k be 9 + 6/(444/(-766)). Is k at least as big as -1?
False
Let q = 105 - 96. Let z(b) = -6*b + 53. Let i be z(q). Is i bigger than -4/39?
False
Let v = 75 + 2. Let c = -75 + v. Is -0.003 at least as big as c?
False
Let f be (-43)/1204*(-4)/23. Which is smaller: f or 2?
f
Suppose 3*p - 4*j = -5 + 18, 0 = -4*p + 5*j + 16. Let i = 1/1369 - -39659/57498. Let y = 6/7 - i. Which is smaller: p or y?
p
Let k = -118 - -131. Let o = k - 19. Is o greater than -1?
False
Let c be 10 - ((-128)/(-6))/2. Which is greater: -24.9 or c?
c
Suppose 10 = 152*m - 150*m. Suppose -271 + 1723 = 3*z. Let r = 1955/4 - z. Is m > r?
True
Let h be (28/72)/((-1)/(-412)). Let w = h + -160. Are w and -1 nonequal?
True
Suppose -2*l = 5*v + 8, 0 = 12*v - 7*v - 4*l - 16. Is v at most as big as -2/167?
False
Let l be (-9)/3 + (4 - 2). Let h = -594/1519 + 16/49. Are h and l unequal?
True
Suppose 5*d = 4*d + 26. Suppose -2*u - 51 = -2*w - 3*u, -2*w + 52 = 2*u. Are w and d nonequal?
True
Let f = 0.89 - 46.89. Let d = f - -33. Which is bigger: -2 or d?
-2
Let q = 11/5 + 17/15. Is q equal to 2?
False
Let n = 26 - 24. Let i be (9/(-7) + n)*9/15. Are i and -1 unequal?
True
Suppose 2*h = 5*h + 5289. Let d = h + 160435/91. Is -1 > d?
False
Let l = -17.67 - 0.33. Let d = l - -18.06. Let o = d + -0.16. Which is greater: o or 3?
3
Let p(i) = -13*i + 47. Let a be p(10). Is -83 smaller than a?
False
Let t = -2 + -3. Let q be (-4)/2 + 2 - -2. Let c be (-17)/20 + q/t. Is 0 at least as big as c?
True
Let b be 12/6 - (-3 + 3). Let n = 3 - b. Let r be n/2*22/22. Is 1 bigger than r?
True
Let c(w) = w**2 + 1. Let x be c(-3). Suppose -x = -m - 0*m. Suppose 14*k = m*k + 4. Which is bigger: k or 2?
2
Let t = -357.8 + 358. Which is greater: t or 440?
440
Let n(b) = -b**3 - 10*b**2 - 11*b + 3. Let k be n(-8). Suppose 3*q + 85 = -2*z, 4*z = -q + 2*q - 149. Is z greater than or equal to k?
False
Let u be 2/((-4)/(-7)*7/6). Suppose 4*t + 10 = -d, -u*d + 2*t = 6*t + 14. Let p be (1/(1/1))/(-2). Which is bigger: p or d?
p
Let l = -590 + 586. Is l less than or equal to 0.087?
True
Let j = -12 - -8. Let c be 2 - 0/(j/(-2)). Suppose 3 = -c*v - 3. Which is bigger: v or -7/4?
-7/4
Let k be -7 + 7 - (-1 + -14). Suppose 3*h + 2*h + k = 0. Let i(d) = d - 1. Let n be i(h). Is n < -4?
False
Let y be -2*1 + (23 - -5 - 4). Suppose 0 = -j - j + y. Which is bigger: 8 or j?
j
Let k be ((-3)/(-14))/((-122)/(-488)). Let p = 0.2 + -0.7. Let u = p + 0.3. Which is smaller: k or u?
u
Let s(z) = -3*z**3 + 3*z**2 - 3*z - 1. Let l be s(2). Is -2/43 at least l?
True
Let k = 252 - 281. Which is smaller: k or -146/5?
-146/5
Let q = 100.749 + 0.251. Let u = q + -101.07. Which is smaller: 0.2 or u?
u
Let b = -1507/1794 + 2/299. Let l = -1/6 - b. Do 0 and l have the same value?
False
Let k = 992 + -302. Let u be (-670)/k + (-1 + 0)*-1. Which is bigger: u or -1?
u
Suppose 826 - 232 = -22*m. Is -27 equal to m?
True
Suppose -56*r + 55*r = -1. Which is smaller: -9/181 or r?
-9/181
Let g = -439.8 - -441. Which is bigger: 3 or g?
3
Let o = -23 + 31. Suppose p = 3*c + 3*p + 29, -c = -5*p - 13. Let f = c + o. Is f at most -1/3?
False
Let s(n) be the first derivative of 3*n**2 - 28*n - 5. Let d be s(8). Is 19 greater than or equal to d?
False
Let z = 18 + 7. Let n be (50/4)/((-10)/4 + 2). Let x = z + n. Which is smaller: x or -1?
-1
Let q(l) = -l**2 + 20*l - 116. Let r be q(14). Are -35 and r equal?
False
Let z = 3/10 - 3/110. Is z != 0.03?
True
Let r(t) = 23*t + 298. Let c be r(-13). Is c smaller than -44/27?
False
Let w = -44 - -38. Let z be 3/9*-14*(-27)/w. Is -22 != z?
True
Let n = -6.5 - -3.3. Let j = n - -3.4. Is j >= 15?
False
Let s = -494 - -498. Which is bigger: s or 23?
23
Let y(n) = n - 10. Let u be y(7). Let a be (-1)/((-3)/(-58)) + (-1)/u. Is a at most as big as -19?
True
Suppose -7*u - 2338 = 2219. Is u smaller than -651?
False
Let h be 478400/(-39845) - -2*6. Is 1 less than h?
False
Let p(v) be the first derivative of -v**6/360 - v**5/24 - v**4/24 - v**3 + 3. Let z(r) be the third derivative of p(r). Let u be z(-5). Is u at most -1?
True
Let g(l) = 2*l - 14. Let m be g(9). Let j = 12 + -7. Suppose 30 = j*h - 0*h. Which is smaller: h or m?
m
Let k(d) = -47*d**3 - 4*d**2 + 8*d - 7. Let l be k(2). Are -379 and l unequal?
True
Let t be 7 + 1930/(-280) + (-2)/(-14). Let w(g) = g**2 - g. Let c be w(0). Is t >= c?
True
Let v = 1078 + -1080. Do v and 0.377 have the same value?
False
Suppose 0 = -5*x - 284 - 356. Which is bigger: -129 or x?
x
Suppose j = 6*a - 4*a - 7, -2*a - 4*j = -32. Let h be (a - 138/(-42)) + (-2)/7. Is 9 at most as big as h?
True
Let o(h) = h**3 - 5*h**2 + 5*h - 14. Let w be o(5). Is 7 at most w?
True
Let n = 71/3 - 8609/363. Does -1 = n?
False
Suppose -5*v + 3*q + 0 + 15 = 0, -2*v + 5*q + 6 = 0. Suppose -33 + 9 = -3*m. Let p = -7 + m. Which is smaller: p or v?
p
Let a(t) = 44*t**2 - 2*t. Let f be a(1). Are f and 40 equal?
False
Suppose -4*v - 2 = 2*j, -2*v - 3*j = -5*v - 24. Which is bigger: v or 0.23?
0.23
Let x be (-3 - (1 - 2)) + 6. Suppose 4 = -3*f + x*f. Let c be ((4015/(-198))/(-73))/(5/3). Which is smaller: c or f?
c
Let i = 2.01 - 2. Suppose 0 = 5*b - 0*b + 10. Let v be b/(-5)*(-55)/(-22). Is v at least i?
True
Let i(q) = -2*q**2 - 2. Let u be i(4). Let w = u + 42. Which is smaller: w or 1?
1
Let r = 4.06 - 0.06. Let j be 8/(-5)*(-129)/(-12). Let z = -17 - j. Which is smaller: r or z?
z
Let b = -360 - -10437/29. Suppose w + 2*w = -5*g - 10, 12 = 2*g - 2*w. Which is smaller: g or b?
b
Let d = -1020 - -1006. Let x = 3 + -3. Do d and x have the same value?
False
Let c(y) = y**3 - 12*y**2 + 2*y + 16. Let g(f) = -f**2 - 8*f - 4. Let z be g(-4). Let r be c(z). Which is smaller: r or 39?
39
Let v(h) = -15*h - 31 + 2*h**3 + 14*h**2 - 3*h**3 + 42. Let n be v(13). Which is smaller: -14 or n?
n
Let t be -6*(-1)/(-2) - 85/(-29). Do t and 0 have different values?
True
Let o = 829 - 785. Which is smaller: o or 42?
42
Let y be ((-39)/(-230))/((-15)/(-3759452)). Let z = y - 42498. Let i = z + -6/25. Is 0.1 >= i?
True
Let b(n) = n**2 + 5*n + 4. Let q be b(-5). Let l be (3/(-6))/((-34)/289). Is q smaller than l?
True
Let q = 0.05 + 7.15. Let g = -8.2 + q. Which is smaller: g or -6/13?
g
Let l = 23 + -8. Let s be l*(-1 + 8/5). Which is bigger: 29/3 or s?
29/3
Let r be (39/(-377))/((-1)/(-3)). Is 1 not equal to r?
True
Let w be 1*18/5*54/(-36). Which is bigger: -4 or w?
-4
Let m be -4*1*-5*3/(-20). Let s be (((-8)/m)/4)/(-25 - -27). Which is smaller: -6/13 or s?
-6/13
Let y be (25 - 18)*(-4)/(-7). Suppose 3*i - 2 = 5*u, 0 = -5*u + y*i - 3*i - 4. Is u > -3?
True
Let v be (-