aller than g?
True
Let j = -60 - -64. Let p be (1 - 3/6)*1. Let n = -3/10 + p. Which is bigger: n or j?
j
Let g = -726040 + 268634963/370. Let t = g + -3/74. Is 82 != t?
True
Suppose 6*d + 226 + 1580 = 0. Let l = 202 + d. Let v = l - -57. Is v bigger than -0.1?
False
Let s = -0.25905 - -0.04905. Is s > -76?
True
Let n = -12941 + 12906. Which is greater: -2 or n?
-2
Suppose 2*n + 752 = y, 0 = -7*n + 3*n + 4. Let l = 678 - y. Is l > -75?
False
Suppose 5*v + 32626 = -2*t, 3*v + 3*t + 12031 = -7559. Which is greater: v or -6523?
v
Let z be (10/(-15))/(4/72*-4). Suppose -7*k + 21 = -m - 4*k, z*k = 3*m + 69. Suppose 3*n + 33 = -3*l - 30, -17 = n + 2*l. Which is greater: n or m?
m
Let n be (1413/18)/(5 - (-217)/(-42)) - 4. Which is bigger: n or -482?
n
Suppose 4*s = -s - 100. Suppose 54*z - 49*z = 125. Suppose -5*c = -2*j - z, -3*j + 4*c = c + 51. Is s >= j?
True
Suppose 13*k + 715 - 13 = 0. Let n be (-6)/21 + (-383)/7. Are n and k unequal?
True
Let y(l) = 5*l**2 - 4*l + 4. Let z be y(2). Suppose 18*g - 2*g = -128. Let a be g/(-20) - 252/(-20). Do z and a have different values?
True
Let d = -0.1589 + 74.1589. Let x = -67 - -68. Does x = d?
False
Let m be 4 - 0 - 6/3. Let c = 296 + -284. Let u be (-462)/(-55) - (c/15)/2. Which is bigger: m or u?
u
Let t = -24 - -23.74. Let q = t + 0.36. Let k = -126 + 99. Which is smaller: k or q?
k
Suppose -7480 = 2*w + 5*c, -42*w = -46*w - 3*c - 14974. Do -3746 and w have different values?
True
Let s = 1/25179 - 56291861/251790. Let r = s - -674/3. Which is smaller: -1 or r?
-1
Let u be (-8)/14 + (-61)/(-21) + -1. Let q = 10.6 + -67.6. Let v = q - -57.2. Is v != u?
True
Let n = -101 + 194. Let q = n + -81. Is q <= 1?
False
Suppose -y + 24 = 5*y. Let u(k) = 7*k**2 + 5*k - 26. Let d be u(y). Is 107 equal to d?
False
Let r(g) = -2*g + 68. Let i be r(-11). Let o = i + -82. Let d(x) = x**2 - 5*x - 16. Let c be d(o). Is c at least as big as 8?
True
Let d(y) = 17*y - 67. Let x(n) = -17*n + 70. Let q(k) = -6*d(k) - 5*x(k). Let u be q(3). Is u != -1/66?
True
Let a = -9822 - -9820.691. Is a <= 4?
True
Suppose 1498 + 4954 = -2*o + 2*p, -5*p + 12902 = -4*o. Which is greater: o or 1?
1
Let o(a) = -17*a - 112. Let x be o(-7). Let t be 7/(-1)*(6 - x). Is 3 greater than t?
False
Let q(r) = r**3 + 6*r**2 + 12. Let i be q(-6). Let p be 10*18/30 - i. Which is smaller: -4 or p?
p
Let b be (-4)/(-14) + 1304/(-7). Let s(w) = 46*w**3 + 553*w**2 + 8*w - 235. Let z be s(-12). Does b = z?
False
Let g = 4/923 - -1514/76609. Which is bigger: g or -6.6?
g
Let q be (-3)/((-9)/552)*18/24. Let r be (-558)/q - (0 - 5). Which is smaller: r or 0?
0
Suppose -59*v = -0*v - 59. Which is smaller: v or -1568?
-1568
Let k be 7 - (-11)/297*-471. Suppose 0*i = -4*i - 44. Which is greater: i or k?
k
Let f = -142 + 171. Let o(c) = -c**3 + 28*c**2 + 26*c + 65. Let w be o(f). Let r = -30 - -8. Are w and r non-equal?
False
Suppose -23*c - 349*c = -184*c - 128592. Which is greater: -18 or c?
c
Let j = -1391/398 + -1/199. Let v = 4 + j. Let n = -146 - -145.91. Is n at least v?
False
Suppose v = 3*z - 5*z + 469, -3*z - 924 = -2*v. Let t = v - 352. Is t <= 114?
True
Suppose -4*o - 13 = -4*u + 11, 19 = 4*u - 5*o. Suppose -4*p = 3 - u. Is 14/15 <= p?
True
Let i = -10478326/679 - -15432. Is 0 <= i?
True
Let p be (-2)/(-12) - ((-19730)/60 - -15). Is p at most as big as 311?
False
Suppose -92818 = -223*i - 633816. Are -7280/3 and i unequal?
True
Suppose a + 2*w = w, 2*w + 10 = 0. Suppose 2*h + 7 + 11 = -3*o, -a*h = o + 19. Let p = 12 + -13. Is p greater than h?
True
Let l(v) = v**2 + 5*v - 6. Let z be l(-4). Let a be 126/105 - (-8)/z. Which is smaller: a or 1/63?
1/63
Let x = -213 + 96. Let l = x + 104. Is l at least as big as -4/5?
False
Let r(w) = w**3 - 9*w - 6. Let c be r(-4). Let s be (-12)/42 - 338/(-1722). Let d = 10/41 - s. Is c < d?
True
Let y = -5/51 + 1/357. Let n = -20340 - -20337. Which is bigger: n or y?
y
Let p(d) = 175*d**2 + 950*d + 7. Let q be p(-7). Which is smaller: q or 1933?
q
Let l be 314/6*13413/(-263). Is l at most -2670?
False
Suppose 0 = 4*m - 4*b + 14136, -1727*m + 1724*m = -2*b + 10607. Which is smaller: m or -3542?
-3542
Suppose -52*b + 51*b = 2*u - 19, b - 4*u = 31. Which is bigger: b or 13?
b
Let h = 87.045 - 3.045. Which is smaller: -4/19 or h?
-4/19
Suppose 0 = -4*h + 7 + 13. Suppose -h*n - o - 84 = 74, -3*n - 98 = -o. Let d be ((-3)/4)/(372/n). Is d < 1?
True
Let c(n) = 7*n + 7*n + 6*n + 11 - 19*n. Suppose -30 - 5 = 5*b. Let w be c(b). Are w and 0 nonequal?
True
Let x = -12.9 + 3.9. Let y = -7.7 - x. Let v = -1.09 + y. Which is greater: -1 or v?
v
Let g be (-6 - 124/(-24))*16/(-460). Let r(t) = -t**3 + 12*t**2 - 11*t - 1. Let b be r(11). Is b <= g?
True
Let m = 137/710 - -1/142. Is m < 121?
True
Suppose -30 - 72 = 5*q - l, 5*q - 4*l = -93. Which is smaller: q or -53?
-53
Let d = -2755/34 + 1386/17. Which is greater: -1194 or d?
d
Let h be 2/1 + (-24)/(-4). Suppose -2*x + 37 + 5 = 0. Suppose -23 = -2*f - x, -f = -n + 7. Is h at least n?
True
Let r be ((-119271)/958)/(1/(-2)). Suppose -5*z + 151 + 1089 = 0. Is z bigger than r?
False
Suppose 78*g + 63*g = 169*g - 1820. Suppose n - 55 = 11. Is g not equal to n?
True
Let l = -18594614 - -73918852925763/3975283. Let s = l + -7763258/35777547. Let x = 1/191 - s. Is x greater than 7?
False
Let q be (-13)/((-156)/1089) + (-1)/(-4). Suppose 17*w + q = 669. Which is bigger: 35 or w?
35
Suppose -35*w = -34*w - 15. Suppose -1180*k + 42 = -1177*k. Is k not equal to w?
True
Let h be (-1)/7 - 10/(-64 - 6). Suppose 2*k - 2*c - 10 = h, -k + 10 = -5*c - 11. Which is greater: k or -9/28?
k
Let b(o) = 0*o**3 - 2*o**2 + o**3 - 335*o + 269*o - 29*o**2. Let c be b(33). Let q be 4/(-14) - (-194)/826. Does q = c?
False
Suppose -t - 4*u + 16 = 3*t, 9 = 2*t + 3*u. Suppose -147 = z - q, 76*z + 4*q + 152 = 75*z. Let c be t/(-9)*(-6)/z. Is 1 < c?
False
Let u = -27 + 19. Let g = 0.53 + -39.53. Let a = g + 39. Which is greater: a or u?
a
Let x = -601.8 + 601.75. Let y = 8 - 14. Is x greater than y?
True
Let p be (-2 + (-3)/(-2))/(-15). Suppose -2*j = -7*t + 8*t - 88, 3*t + 4*j - 266 = 0. Let m = t + -91. Which is bigger: m or p?
p
Suppose -124*f - 90*f - 85*f + 347*f - 336 = 0. Let a(n) = -n**2 + 5*n - 3. Let u be a(4). Let k be -1 + u - (-6)/(-9). Is k >= f?
False
Suppose z = 12 + 5. Suppose 15*j - 442 = z*j. Which is greater: j or -220?
-220
Let w = -38714.8 + 38715. Which is bigger: w or 3/4430?
w
Let r = 62.8 + -61.859. Let s = r - 5.331. Let j = 4.2 + s. Does 1 = j?
False
Let z = -2 - -1. Let v be (28/126)/(2/6)*(-27)/333. Is v smaller than z?
False
Let b(a) = 4*a + 2. Let q be b(0). Suppose q*h + 11 = -3*g, 3*g = -5*h - 7 + 2. Suppose -6*i - 17 = -x - i, -3*x - 34 = h*i. Which is smaller: x or -7?
x
Let h be 26/(-3) - ((-30)/(-9) - 3). Let z(u) = u**3 + 11*u**2 + 11*u - 61. Let k be z(h). Which is smaller: -13 or k?
-13
Let f be (22/(-4))/(5/(-2 + -8)). Let o be ((-218)/(-6))/(f/66). Is o < 219?
True
Let q(f) = f + 13. Let u be q(-7). Let g be 0 + u/15 - 1. Suppose 0 = 8*t - 4*t. Is g > t?
False
Let o(n) = 23*n - 32*n + 5 + 2*n**2 + 8 - 3*n**2. Let m be o(-13). Suppose -k - 25 = 15. Which is bigger: k or m?
m
Let l = 125 - 480. Which is bigger: l or -3902/11?
-3902/11
Suppose -8 = 2*a - 0. Let l be (2/4*a)/((-8)/(-4)). Do l and -17.4 have the same value?
False
Let z be (-2)/(-3) + 25/(-15) + 53. Let f be 1*z*1/28. Do f and 3 have different values?
True
Let y = -3613 - -9825. Is y not equal to 6213?
True
Suppose -4*l + 7*l + 18 = 0. Let c be 675/980 + l/8. Let z = c - -137/637. Which is greater: -1 or z?
z
Suppose 7*d - 729 = -225. Let b be (296/(-416))/((-3)/d). Is b greater than 16?
True
Let a be (-25 + 22 - 129/(-48))*(-4228)/(-7). Which is smaller: a or -189?
-189
Suppose 0 = -79*b + 35*b - 57*b - 31*b. Which is greater: -8/25 or b?
b
Suppose -5*o + 795 = 10*o. Let d(c) be the third derivative of c**5/5 + c**4/6 - c**3/3 + 12*c**2. Let n be d(2). Which is smaller: n or o?
o
Let l(b) = -b**2 + 11*b + 39. Let d be l(14). Let g(i) = 22*i - 11. Let u(c) = 11*c - 5. Let v(h) = 6*g(h) - 13*u(h). Let f be v(1). Which is bigger: d or f?
d
Let x = -4533 + 4532.7. Which is bigger: 1.336 or x?
1.336
Let h(j) = j**3 - 29*j**2 + 5*j - 9. Let f be h(29). Let v = 100 - f. Is v at most as big as -34?
True
Suppose 3*f - 3 