alse
Suppose 0 = p + 2*z - 1 - 10, -4*p - 6 = -2*z. Let h = 52805/41 - 1288. Is h > p?
False
Let a = 3.1 - 3. Let v = 1625 - 1608.97. Let z = -16 + v. Does a = z?
False
Let o be ((-3)/18)/(18/408). Which is bigger: o or -4?
o
Let j be 8/4 + (-8)/22. Let n = 0.077 + 2.923. Let s = n - 2.9. Is s >= j?
False
Let z = 6.6 + -4.6. Does z = -20?
False
Let w(z) = z - 4. Let l be w(3). Let y be (1 - 2)*(l + 0). Let j(f) = -f**3 - f**2. Let i be j(y). Which is smaller: i or -3?
-3
Suppose -5*o - 13 = -4*u - 2, 5*o + 5*u = 25. Which is greater: o or -9?
o
Let u(k) be the third derivative of -k**4/24 - 28*k**3/3 + 40*k**2. Let c be u(-26). Is c != -29?
True
Let c be 0 + 16/(-17) - -1. Suppose 3*r = -r. Suppose q = -2*f + 2 - 1, r = 4*f + 4*q. Is f smaller than c?
False
Let s = -1.286 + -0.614. Is s > 8?
False
Let d = -42 + 61. Let a = 10 - d. Let j = a - -8.9. Are 4 and j unequal?
True
Let h = 17 - 12. Suppose 84 = -4*i - 4*k, -2*i + 0*i = h*k + 39. Let f = 65/3 + i. Are f and 2/27 equal?
False
Let v = 16 + -14. Let u be -2*v - (7/(-2) - 1). Which is bigger: u or -6?
u
Suppose 0 = 3*v + 2 + 7, 4*c - v = -41. Let a(m) = -m**2 - 6*m - 7. Let n be a(-3). Let h be n + (0 - (17 - 3)). Which is smaller: h or c?
h
Let k = 13 - 10. Let o(s) = -10*s - s**2 - 7 + k*s + 16. Let n be o(-8). Is n at least as big as 7?
False
Let s be 2 + 78/(-10) + 0. Let f be 0 + 0 + 3 - (-1435)/700. Let o = s + f. Which is smaller: o or 0.3?
o
Suppose 526*c - 527*c = -3. Suppose 2*v + 6 = -v. Let a = v + 5. Are c and a non-equal?
False
Let s be (3/14)/(23/((-322)/80)). Is 0 equal to s?
False
Let v = 7.67 - 7.67. Is -1/249 equal to v?
False
Suppose 34*s + 48596 = 12250. Which is greater: s or 1?
1
Let a be (30/(-860))/(2/4). Is -1 > a?
False
Let p = -275 + 3027/11. Suppose 0*d - 4 = -2*g + 2*d, 4*g = -3*d + 1. Is g != p?
True
Let m = -2 - -2. Let u = 63796/49 - 1302. Which is smaller: m or u?
u
Let j(g) = -12*g**3 + 13*g**2 + 12*g - 2. Let l be j(-3). Which is bigger: 402 or l?
l
Suppose 4*l - 8 = 0, 3*z + l = 6*l - 100. Let a be (-20)/50 + (-32)/z. Is a bigger than -6?
True
Let n(q) = 3*q**3 + 5*q**2 - 13*q - 6. Let i be n(6). Let m be i/(-90) - ((-9)/15 - -1). Which is greater: -10 or m?
m
Suppose -10*j = -6*j - 4. Which is bigger: j or 30?
30
Let o = -26 - -4. Let k = o + 22. Is k smaller than 8?
True
Suppose 21 = 5*g + 356. Suppose 14922 - 4001 = -163*l. Is l < g?
False
Let r = 565 - 475. Which is smaller: 92 or r?
r
Suppose 3*y - 65 = t, -8*y - t + 73 = -5*y. Which is bigger: y or 11?
y
Let k = 5 + -36. Let t = -37 - k. Are t and -3 equal?
False
Suppose -2 + 240 = 3*b - 2*k, 386 = 5*b + 2*k. Is b <= 78?
True
Let r be 1*(-40)/64 - (-9)/(-24). Which is smaller: r or -3/13?
r
Suppose -5*r + 352 = a, 0*r + 2*a = 5*r - 346. Let y = r - 46. Are y and 24 equal?
True
Let r = -17 + 16.81. Let k = r + 2.19. Is -1/2 at most k?
True
Let r be (-2)/3 - -4*(-10)/(-24). Which is greater: r or 3/1633?
r
Let x = -166 - -232. Suppose 2*r = v - 42, -5*v + 0*v = 2*r + x. Is r less than or equal to -1?
True
Let g be -4 + 5/((-25)/(-5)). Let f be (1 - 2)/(4 + g). Which is smaller: 0 or f?
f
Suppose 0 = 4*s, 136 = 4*u + 2*s + 24. Let t = 196 + -166. Which is greater: u or t?
t
Let f = 0.68 - -0.12. Let j = -0.8 + f. Let x = -0.1 - j. Is 0.5 at most as big as x?
False
Let a be 2/2 - 14578/9268. Let h be ((-8)/(0 - -4))/(-1324). Let j = a + h. Which is smaller: 0 or j?
j
Let v = 5.065 + -0.065. Let k = 2 + 1. Let b = v - k. Which is bigger: b or 1?
b
Let a be (-48)/(-16) - (4/2 - 1). Let r(h) = -6*h**2 + 2*h - 3. Let p be r(a). Which is smaller: p or -24?
-24
Let c = 270 - 263. Which is smaller: 1/2 or c?
1/2
Let s = 27/17 + -982/629. Is s > 0?
True
Suppose -2*m + 4*b - 1054 = 0, -3*m + 4*b = 39 + 1544. Which is smaller: m or -530?
-530
Let u(j) = j**2 - 192*j + 4034. Let d be u(24). Let o be 19/7 + (-2)/(-7). Which is smaller: d or o?
d
Let w = 4802 + -4804.113. Let n = w - -0.103. Let a = 2 + n. Which is greater: a or 1/4?
1/4
Let q = -27.39 + 1.39. Are 1 and q equal?
False
Suppose -w + 1 = -0*w. Let o be 15/(-6)*12/10. Let q be (-7)/o - 4/12. Is w <= q?
True
Let w be 1378/24 + 4/(-6). Let o = w + -57. Let y = 5.09 + -0.09. Which is smaller: o or y?
o
Let c be (-15)/(-25)*5 - 2. Is c != 10/127?
True
Let i be (-6)/(-9) + (800/(-84))/10. Which is bigger: 19/5 or i?
19/5
Let z = -458 - -459. Is z != 3/8?
True
Let c(y) = -2*y**2 + 4*y + 54. Let f be c(0). Which is smaller: 0.3 or f?
0.3
Let q be ((-2)/(-2))/(-212 + (3 - 5)). Which is greater: q or 0?
0
Let r(a) = -2*a**2 - 12*a + 3. Let o be r(-6). Let q be (2 - (-50)/8) + 18/24. Which is smaller: o or q?
o
Suppose -24*j = 15 + 417. Is j >= -17?
False
Let z = 47 - 48. Let a be 12/78 + (-2839)/2145. Let g = a - -23/15. Which is smaller: z or g?
z
Let z = 6 + -22. Let s = 32.256 - 0.256. Let i = z + s. Is -0.1 smaller than i?
True
Let y(h) = -h**3 + 11*h**2 + 11*h + 13. Suppose -2*x = -4*x + 24. Let l be y(x). Are 0.1 and l nonequal?
True
Let s be (22/(-6) + 9/3)/(600/225). Let x = -0.3 + 1. Which is smaller: x or s?
s
Let p = -21 + 11. Let q(u) = -u**3 - 11*u**2 - 10*u + 3. Let f be q(p). Let y be (66/(-10))/f + 1. Is y less than or equal to -2?
False
Let c be ((-13)/(-104))/((-2)/(-16)). Is 1/17 < c?
True
Let c be (2 - (5 - 11))/(4/(-2)). Is 25 less than c?
False
Let j = -5414047/475 + 11398. Is j equal to 1?
False
Let d be (-9)/24*(-332)/(-9). Let a = 253/18 + d. Are -4 and a unequal?
True
Let z = -12 + 14.1. Let r = 2.2 - z. Is r equal to 1/4?
False
Suppose 5*x + 0*x = 165. Suppose -223 = -4*g - 95. Which is smaller: x or g?
g
Suppose -2*v = 4*h + 300, 128 = -v + 3*h - 22. Let d be (-2)/3*v/4. Let u = 19 - d. Which is smaller: u or -4?
u
Let i(z) = 2*z**2 - 60*z + 158. Let c be i(26). Which is greater: c or -48?
-48
Let n be (-1)/3 - 16/(-12). Suppose n + 7 = -r. Let s(h) = -h**3 - 8*h**2 + h + 10. Let q be s(r). Is 4 equal to q?
False
Suppose -2*f - 2*u + 13 - 15 = 0, u + 1 = -3*f. Let g be (-243)/(-510) + (-2)/4. Is f smaller than g?
False
Let k(d) = 17*d + 85. Let x be k(-5). Which is smaller: 6.2 or x?
x
Let m = 409474/111 + -3689. Is 1 > m?
True
Suppose 0 = -5*r + 10*r + 5. Is r < -2/25?
True
Let v = 6 + -3. Suppose 0 = v*g + 3, 3*d + g = 32. Let z = d + -10. Is -3/7 smaller than z?
True
Let h be -3*(-640)/12 + -7. Is 151 greater than or equal to h?
False
Let i(v) = 0 - v**2 + 2 - 4*v + 1. Let a be 5*(4 - (-18)/(-5)). Let u be i(a). Is u greater than or equal to -8?
False
Let x be 6 - (12 - 7) - 1. Are 100 and x non-equal?
True
Let d = 3/3262 - -675219/16310. Which is smaller: d or 42?
d
Let c = 9 + -3. Let z = 8 - c. Let l = -3781/13209 - -1/1887. Are z and l non-equal?
True
Let i = -1/421 + -2519/2947. Do -1 and i have the same value?
False
Suppose 4*c = -3*g + 470 - 33, g - 4*c - 135 = 0. Which is smaller: g or 141?
141
Let i = 1922 - 1934. Do i and -12 have different values?
False
Let h be 4 - (2 - -131) - -5. Which is smaller: h or -123?
h
Let l be (-2 - (-306)/15)/((-7)/(-70)). Which is smaller: 183 or l?
183
Let b be 50/135*-3 - -1. Suppose 5*w - 6*w + 5*w = 0. Do b and w have the same value?
False
Suppose h = 2 + 3. Suppose -k = -h*j - 22, -3*j - 7 - 17 = 3*k. Is k > 5?
False
Suppose 19*n + 6*n + 6400 = 0. Does -257 = n?
False
Let d be 4 + 746*(-5)/935. Which is bigger: 0 or d?
d
Let a(v) = -v**2 + 5*v + 5. Let c be a(-1). Is c greater than -2.22?
True
Suppose 16*q - 56 = 2*q. Suppose -4 + q = 11*s. Which is smaller: s or 4/21?
s
Suppose 2*q = 14*q - 3708. Which is bigger: 308 or q?
q
Suppose -152 = -5*b + 2*w, 6*b + w - 164 = b. Let p be (-1)/(3/(-36)) + (1 - 1). Let d be (-3 - p/(-8))/(21/(-448)). Is b at most d?
True
Suppose 3*i + 0*i = 4*w - 1419, -2*w + 711 = -i. Is 357 != w?
False
Let f(n) = 33*n + 31*n - 62*n + 29 + 12*n**2 + n**3. Let h be f(-12). Let r = -3 + 7. Which is bigger: r or h?
h
Let y be (1 + 1)/(18/(-27)). Is -13 >= y?
False
Let u(v) = v - 1. Let i be u(-8). Let k be ((-6)/i)/((-4)/6). Suppose -20*y - 48 = -8*y. Is k at most as big as y?
False
Let l = -1 + 1. Let j be ((-1485)/(-81) + -19)/(280/(-6) - -2). Which is smaller: j or l?
l
Let x(h) = h**3 + 34*h**2 + 80*h + 8. Let c be x(-32). Is -503 > c?
True
Suppose -3*t + 12 = 0, 0 = 6*i - 3*i + 5*t - 2. Let c be 2*41*(-3)/i. Let d = 124/3 - c. Which is smaller: 1 or d?