 smaller: z or s?
z
Let k = -22021 + 21477. Let p(y) = -43*y + 15. Let w be p(13). Are w and k non-equal?
False
Let v be (0 - 58) + (166 - 154 - (1 - -7)). Is -73 greater than v?
False
Let y = -4053158/4549 - -891. Which is greater: y or 1?
1
Let k = 66 - 1302. Do k and -1237 have the same value?
False
Let u = 6599 + -6601. Which is smaller: u or -0.0878?
u
Let w be (-7 + (-876)/8)/(1/2). Let o = -234 - w. Which is smaller: -2/43 or o?
o
Let y(d) be the first derivative of -d**3/3 - 9*d**2/2 + d + 53. Let j be y(-7). Is j != 17?
True
Let v = -16 - 40. Let c(z) = -3*z**3 - 3*z**2 - 3*z - 4. Let u be c(-2). Let j = u + -71. Which is greater: j or v?
v
Let o = 6635 + -5359. Is o bigger than -2?
True
Let z be (-9)/36 - ((-5 - 67655/(-20)) + -4). Which is smaller: -3375 or z?
-3375
Suppose -3*p - 5*d + 26936 = 0, 7*p - 136*d - 62904 = -137*d. Is 8985 at least as big as p?
False
Let n = -352.46 + 362.9. Do n and -0.1 have the same value?
False
Suppose 426 = 5*u + 3*a - 181, 0 = -2*a - 12. Which is smaller: u or 126?
u
Let h = -60.6 - -440.6. Let k = h - 382.45. Is k not equal to -1/4?
True
Let c = -2624.3 + 2645. Which is bigger: c or 0.22?
c
Let f be -33 + (-16891)/(-513) + (1 - 3164/3456). Suppose 5 = 5*x - 0. Which is smaller: f or x?
f
Let w = 12 - 14. Let j be 616/(-200) - (1 + -4). Does j = w?
False
Suppose -4*f - 5 = -k, -5*k - 5*f - 1 = -k. Suppose g + 57 - 54 = 0, -q + 5*g + 4258 = 0. Let i = 717065/169 - q. Is k greater than i?
True
Let f = 1/203 + -262/11977. Let v be (23/(-828)*-9)/((-2)/8). Which is smaller: f or v?
v
Suppose 6*h - 87 = -81. Let r be 482/(-1410) - (1/(-3))/h. Do -1 and r have the same value?
False
Let j(z) = z**2 + 13*z + 51. Let m be j(-6). Let k be ((-10)/(-4))/(-41 + (16 - m)). Which is smaller: -1 or k?
-1
Let p be (6/(-7))/((-32)/448). Let a be p/2 + 28623/(-4756). Is a at least 1?
False
Let x(z) = -z**3 + 11*z**2 - 21*z. Suppose 344 = -5*s + 374. Let g be x(s). Is g greater than 54?
False
Let j be 13/(-156) + (-2098)/(-120). Is -20 at least as big as j?
False
Suppose 3*o + 633 - 175 = 2*x, 5*o + x = -785. Let z = o - -472/3. Which is smaller: z or 34?
z
Let o(i) = 3*i**2 + 115*i + 146. Let a be o(-37). Suppose 109 = -2*g + 29. Let v be (32/g)/(a/(-10)). Is v at most as big as 13?
True
Suppose l - h - 7 = 3*l, 0 = -5*l - 2*h - 17. Let v be (-8)/14*7/l. Let w = -42981.5 + 42981. Which is smaller: w or v?
w
Let r = -16936/25 + 678. Let u be (-6 - 5) + 15 + -4. Do r and u have different values?
True
Let i = -77 + 78. Let t be 4 + (4 - 3 - i). Let w be ((-6)/(-10))/(t/(-4)). Which is greater: -1/3 or w?
-1/3
Let t = 46.19 - -10.8. Let u = t + 2.01. Is u greater than -3?
True
Suppose 1658*d - 1653*d = 5*v - 40, -4*d = 3*v - 24. Let k = 2/2307 - -604420/16149. Let u = k + -2861/77. Which is greater: d or u?
u
Suppose 0 = -4*k + f + 3, -36*k + 15 = -33*k - 5*f. Let u = -181012 + 39822743/220. Let q = 3/44 - u. Are k and q equal?
False
Let t = -257 + 256.529. Let o = -0.471 - t. Is o at least -0.0482?
True
Let w = -465 - -500. Suppose -4*v - 30*p = -w*p - 701, 698 = 4*v - 2*p. Is 175 < v?
False
Let h = -70868 - -497774/7. Which is smaller: 244 or h?
h
Let o(y) = 7*y**2 - 16*y + 112. Let x(t) = -t**2 - t - 1. Let i(f) = -o(f) - 6*x(f). Let c be i(7). Which is greater: 2/533 or c?
2/533
Let p be (-41)/(1230/(-180)) - (-93680)/(-15614). Which is smaller: p or -1?
-1
Suppose 0 = g + g. Suppose g*k - 5*k + 310 = 0. Let d(j) = -168*j + 2415. Let i be d(14). Is k less than i?
True
Suppose 2*j + v - 385 + 1834 = 0, 2*j - 5*v + 1479 = 0. Let g = j + 996. Which is bigger: g or 268?
g
Suppose 57*f = 71*f - 3514. Suppose 2123 - f = -18*y. Which is smaller: y or -102?
y
Let n be -5*(-5412)/(-60)*-2. Is 897 <= n?
True
Let f = -0.30659 + 477.30659. Does 7 = f?
False
Suppose q - 6 = -j, -2 - 10 = 3*j - 3*q. Suppose -4*r + 3*p = -3866, p - j - 1 = 0. Let y be 187/r + (-4)/(-22). Which is greater: -5/6 or y?
y
Let x be 8/12 + 338/6. Suppose i + 3*q + 30 = -2*q, -4*q = 4*i + 40. Let o be (i/3 + 2)*x. Is o equal to 18?
False
Let g = 29 + -44. Let u = 51 - 49. Suppose -3*y + 2*y = u*i + 18, 5*y - 5*i + 60 = 0. Is y >= g?
True
Let r = 11340/113 + -176552121/1759297. Is r > -1?
True
Let t be (-100)/150 - -4*(-2)/24. Which is bigger: t or 4/8511?
4/8511
Let s be 8*((-1235)/104 + 12). Which is smaller: 1/158 or s?
1/158
Let x be 15*-4*(-403)/(-146289). Does x = -1?
False
Let k be (-3)/(-12) + 6/(-8)*-1. Which is smaller: k or -1/37?
-1/37
Let p = -345904/75 + 4612. Is p less than -1?
False
Let r(c) = c**2 + 22*c + 3. Let m be r(-22). Let o be 4/m - (-14940)/(-11178). Which is smaller: o or -1?
-1
Let z = 10702 + -10703. Is z > -1/8057?
False
Let x = 17 + -19. Let k(c) = -c**3 + 5*c + 5. Let s be k(x). Suppose 2*g = -3*t - 3, 4 = -t + g + s. Is -5/12 > t?
True
Suppose 2*h = 69*h - 2 + 2. Are h and -1353 non-equal?
True
Let y be (-1)/(-804)*80/1210. Which is smaller: -1 or y?
-1
Let w = -1569 + 1576.789. Let m = w - -0.211. Do -5 and m have different values?
True
Let a = 412728/49 + -8423. Suppose 3*x + 25 = 5*b, b + 2 = -3*b - 2*x. Suppose 4*y + 12 = -4*t, -b*y - 12 = 2*t + 3*y. Which is greater: a or t?
a
Let f(r) = r**3 + 46*r**2 + 405*r - 114. Let i be f(-32). Is 1267 less than i?
False
Suppose -193 - 732 = -185*f. Let c be (15/(-9) - -1)*-3. Suppose -4*z = -c*z - 4. Which is greater: f or z?
f
Let s be (6 - (-322)/(-69))*(-75)/2. Let n be 4/(-14) - 340/(-14). Let i = -75 + n. Which is smaller: s or i?
i
Let s be (-2 + 1)*((-7 - -1) + 1). Suppose -19*a + 15*a = 3*j + 7, s*a = -5*j - 5. Which is greater: j or -2?
j
Let h = -195 + 199. Let m be h + (-3)/(-15) + 97/(-10). Which is smaller: -6 or m?
-6
Let a = 76 + -71. Suppose 4*d - 11 = -a*s + 22, 24 = d - 4*s. Let v = 27 - d. Do v and 15 have the same value?
True
Let c = 4855 + -4855.1469. Which is bigger: 2/13 or c?
2/13
Let i = -1262 - -1262.129. Is i smaller than -6?
False
Let h = 7.499 - 7.699. Is -0.275 bigger than h?
False
Suppose -2*z = -n + 1, 5*z = -4*n - 37 + 67. Suppose 4 = z*a + 8. Is a bigger than -17/6?
True
Let w be -1*2 - (-1)/(-1). Let z(f) = 14*f**2 - 255*f + 46. Let y be z(18). Is w bigger than y?
True
Let j(z) = -z**3 - 20*z**2 - 67*z - 56. Let k be j(-16). Let t(n) = -3*n**2 + 126. Let q be t(k). Let y = 18 + -84. Is q less than or equal to y?
True
Let g(p) = p**3 - 12*p**2 - 16*p + 10. Let z be g(13). Let d = 24 + z. Let t be (d - 312/(-63))*(0 + 2). Is t greater than or equal to -1?
True
Let u(p) = p**3 - 9*p**2 - 6*p - 40. Let x(g) = -7*g + 129. Let q be x(17). Let c be u(q). Let w(j) = j - 8. Let d be w(5). Which is greater: c or d?
c
Let s be 2052/567 + (-3 + (-2 - -6))*-4. Let c = 0.3 - -0.1. Let j = c + -0.4. Is j greater than s?
True
Suppose 3*r = -2*r - 1270. Let g be 4/12 - r/(-42). Let d = g + 125/28. Which is bigger: 0 or d?
0
Let f(h) be the first derivative of h**3/3 - h**2/2 - 20*h - 74. Let d be f(9). Is 53 <= d?
False
Let t = 4.2 - 4. Let l = 0.4 - t. Let k(o) = -7*o**3 + 2*o**2 - 6*o + 4. Let q be k(1). Is l at most q?
False
Let l(k) = -k**3 - 39*k**2 - 119*k - 216. Let d be l(-36). Which is smaller: d or 181?
d
Let z be (-21 + 460/40)*2. Are z and -249/13 unequal?
True
Let j = -122/11 - -11967/1078. Suppose 25*z - w - 4 = 23*z, -3*z - 5*w = -19. Suppose z*a - 403 + 406 = 0. Is a > j?
False
Suppose -5*a + 5*g = -270, -12 = -4*g - 0. Suppose 13*r - 85 = -826. Let z = a + r. Which is bigger: z or 2/47?
2/47
Suppose -29 = -h + 24. Let b = 35 - h. Let c = -3 + b. Do -21 and c have the same value?
True
Let p be -1*(-1)/(-4 - -1)*87. Is -46 greater than or equal to p?
False
Let k = 0.19 + 0.98. Let f = k - 1.57. Does 9 = f?
False
Let q = -810.3 - -725. Let d = q + 85. Is d > -128?
True
Let o = -1514 - -1520. Let n(t) = t**3 + 8*t**2 + 6*t + 3. Let w be n(-7). Let d be 44*(w/(-12))/(-5). Is o greater than d?
False
Let r(b) = -1 + 0 + 629*b - 1 - 615*b + 5*b**2. Let d be r(-3). Which is smaller: d or 10/51?
10/51
Let f(n) = -8*n - 8. Let p be f(-6). Let z = -22 + p. Let i be -6 + 0 + 30 + -7. Is i > z?
False
Let u be (9/(81/45) - 9)/((-4)/(-6)). Which is smaller: u or -60?
-60
Let m = -276360524/4725 + 58489. Let w = m + 23531/444150. Is -1 at least w?
False
Let x be -18*(4 - (-50)/(-12)). Suppose 5*n - 14 = -2*u, u = x*n - 4 - 11. Is 21/8 greater than n?
False