
Let x = 495 + -498. Suppose -4*p - 3*n = -7, -2*n + 10 = -0*n. Is p at least x?
True
Suppose f - 22*f = -21. Which is smaller: -5/76 or f?
-5/76
Let l(o) = -o**2 - o - 5. Suppose 3*a - 4*b + 0 = 1, -5*b - 5 = -3*a. Let u be (0 + 0)/(-3 - a). Let r be l(u). Which is smaller: r or -4?
r
Let k be 2/3 + (1 - (-12)/(-18)). Let m be (-2 + (6 + -3)/k)*18. Which is smaller: 19 or m?
m
Let f = 30180 + -30170. Suppose 0 = 3*u + 22 - 67. Are u and f unequal?
True
Let r be 2/8 - (-1)/(-16)*4. Do -4/259 and r have different values?
True
Let z = 58 + -57. Let q(w) = -2*w**3 + w**2 - w + 1. Let o be q(1). Which is bigger: z or o?
z
Let r = 40 + -104. Let n = r - -68. Which is bigger: n or -0.8?
n
Let u = 2.12 - 2. Let v = -0.82 + u. Let r = 6.9 + -7. Is r less than or equal to v?
False
Let u = -33236349160117/10060 - -3303812053. Let y = -2/2515 + u. Which is smaller: 9 or y?
9
Suppose -2*r = -43 + 3. Suppose 5 - r = -5*h. Is h bigger than -2?
True
Suppose -5*x + 3*z = -x - 9, 2*z - 10 = 0. Suppose -8*o + 24 = -x*o. Suppose o = 5*i - 28. Which is smaller: 7 or i?
7
Let o be 8/(-48)*(-2080)/514. Let c = 2/257 - o. Suppose 50 = -5*i + 3*j, i + 5*j + 4 = -6. Is i < c?
True
Let k = -0.272 - -20.672. Let z = -0.01 - 19.99. Let y = z + k. Is 4 less than y?
False
Suppose 0 = 100*b - 39617 - 77983. Is 1177 < b?
False
Let v = -97 - -644. Which is smaller: v or 0.1?
0.1
Let i(j) = j**2 + 44*j + 448. Let m be i(-19). Do -28 and m have the same value?
False
Let l = 9 + -6. Let u be (-30)/(-3) - (l - 0). Let y be (-2)/(-5)*(-1 + 16). Is u > y?
True
Suppose -9*q = -4*q. Let b = 0 + q. Let o = 745/42 - 107/6. Are o and b equal?
False
Let b = -126 - -145. Suppose 3*n - b = 14. Is n bigger than 13?
False
Let h = -19 - -19. Suppose -4*l - 2*g = -20 - 34, 2*l - g - 21 = h. Let z(f) = -f**3 - 7*f**2 - 7*f + 7. Let t be z(-6). Are l and t non-equal?
True
Let r = 33 - 72. Is -39 at most r?
True
Let s(m) = 4 + m**2 - 6 - 5*m - 2. Let c be s(7). Let d be ((-36)/30)/((-4)/c). Which is bigger: 3/2 or d?
d
Suppose 5*h - 23 = 3*u, 25 = 5*h + 5. Let f be (-265)/120 - (-4)/2. Let c = f - 1/8. Are u and c non-equal?
True
Suppose -15*f + 14*f + 1 = 0. Let y be (1*-12)/(-3)*1. Let z be ((-4)/(-3))/(y/12). Is z equal to f?
False
Let b = 0 - 4. Suppose -2*a = 2*a - 2*l + 18, 5*l = 4*a + 33. Let y be (0 - a)/1 + (-52)/20. Which is bigger: y or b?
y
Let a = -115 - -77. Is a at least as big as 4?
False
Let o = -0.7 + -0.3. Let p = -92 - -100. Let a be (p/(-12) + (-50)/24)*4. Which is greater: o or a?
o
Let j(a) = -5*a + 36. Let t be j(-3). Which is bigger: 472/9 or t?
472/9
Let c = 1245 - 1141. Is 104 < c?
False
Let l = -14 - -3. Let m be -8 - 3 - ((-7)/(-3) - 3). Do l and m have different values?
True
Let a = -0.197 - 0.203. Which is smaller: a or 0.086?
a
Let q be (4/(-18))/((-8)/(-30)). Suppose 3*x - 3*t + 2*t = 23, 5*x + 2*t = 42. Suppose 5*d - 3 = -0*o + 4*o, x = -5*o + 2*d. Which is bigger: o or q?
q
Let j be -4 - ((-1339)/30 - 8/(-60)). Which is bigger: j or 41?
41
Let n be (-51 + 1)*(9 - (-31)/(-5)). Is -140 less than or equal to n?
True
Let n = -7/10 + 1/30. Which is smaller: 1003 or n?
n
Suppose -73*k - 13 = -86*k. Is 1/39 equal to k?
False
Let z(q) = 15*q + 2. Let o be ((-9)/(-6))/((-5)/10). Let i be (-2 + 1)/((-3)/o). Let l be z(i). Which is smaller: 0.1 or l?
l
Suppose -35 = -5*t + 5. Let l(v) = -v**2 + 9*v - 7. Let f be l(t). Let r be (-3)/(-5) - (-2 + 3). Which is greater: r or f?
f
Let g = -140 + 150. Is g greater than 3/5?
True
Let n = -13 - -11. Let o be -1 - n - (1 - 2). Suppose -o*u = -3*u - 4, -5*t - 3*u = -13. Are t and 6 equal?
False
Let o = -630 + 431. Is o equal to -200?
False
Let q be (-1 + -1)*(-16)/2992. Is q > 1?
False
Let x = -75 + 56. Let v = x - -16. Is 1 >= v?
True
Let k = -0.2 - -1.2. Suppose -11*u - 398 = -277. Is k smaller than u?
False
Let l = 77323/4 - 19197. Let i = l + -133. Which is greater: i or 1?
1
Suppose 14*v - 17*v = -15. Let l(d) = 9*d - 44. Let x be l(v). Is x < -3?
False
Let j(p) = p**2 + 22*p + 13. Let f be j(-21). Let i = -3 - f. Is 5 >= i?
True
Let w = -1 + -7. Let y = -158 - -150. Let z(f) = -f**3 - 8*f**2 - 8. Let j be z(y). Do j and w have different values?
False
Let x = -907 + 64. Which is smaller: -842 or x?
x
Let k = 320 - 324. Which is smaller: -3 or k?
k
Let d(q) = q**3 - 4*q**2 + 3*q - 1. Let r be 12/(-14)*(-35)/10. Let x be d(r). Let c be (2*1/2)/x. Which is bigger: -4 or c?
c
Let a = 20 + -31. Let x = -33832/21 - -11205/7. Is a > x?
False
Suppose -12*d + 324 = -18*d. Let c = 54 + d. Is c at most as big as 3/67?
True
Suppose -v - 424 + 372 = 0. Are v and -53 equal?
False
Let l = -55 + 41.8. Let g = 3.2 + l. Is g not equal to -0.1?
True
Let m be (25/1200)/((-2)/(-4)). Let h be (-1 - -1 - 0)*1. Which is smaller: m or h?
h
Let k(p) = 3*p + 42. Let s be k(-14). Which is smaller: s or 2/143?
s
Let t be 1/145*-1 - (-3)/(-15). Which is greater: t or 5?
5
Let z = -21 + 53. Let o = z - 32. Which is bigger: -3/5 or o?
o
Let l = 10888/77 - 989/7. Is 3 >= l?
True
Let u = 45.1 + -46.1. Which is bigger: u or 0.8?
0.8
Let d(f) = f**3 - 6*f**2 - f. Let b be d(3). Let g = -6 - b. Which is smaller: g or 23?
23
Let r be (-1)/2 - (172/(-32) - -3). Let f = -13/8 - r. Which is smaller: f or -3?
f
Let z = -155 - -154. Which is smaller: z or -10/11?
z
Let g(i) = -i**3 + 9*i**2 + 2*i - 17. Let a be g(9). Let s be a - (-5)/(-10)*4. Which is smaller: 23 or s?
s
Let z = 1.98 + 0.02. Let t = 3.69 + -0.74. Let i = -3 + t. Are i and z unequal?
True
Let m = -12.5 + 3.5. Let s = 9.1 + m. Is s at least as big as 22?
False
Let v = -153535892/115647 - -244/38549. Let l = 1328 + v. Which is bigger: 1 or l?
1
Let d(s) = -2*s**3 + 2*s**2 - 1. Let l be d(1). Let r be -12*2/(-4)*l. Does -5 = r?
False
Let g = 4/3451 - 349/3278450. Is g <= -1?
False
Let q = 59 - 62. Let x be 14/56 + (234/(-8))/q. Suppose 0 = 4*c + c - 55. Which is greater: c or x?
c
Let j(g) = -g**3 + 3*g**2 + 3*g - 4. Let r be j(6). Let l be r/(-246) - (-3)/(-9). Suppose -s = -4*u - 5*s + 8, 2*s = -5*u + 1. Which is smaller: l or u?
u
Let v = 963/52 + -270/13. Which is greater: -1 or v?
-1
Suppose 5*g - s = 0, -21*g - 19 = -17*g + 3*s. Which is smaller: g or -8?
-8
Let p be 2926/5035 + 12/(-20). Let b(c) = -2*c - 3. Let v be b(-2). Is p at most as big as v?
True
Let o = -13 + 13. Suppose o = -10*i + 6*i. Is 1/38 at least i?
True
Let m(i) = -83 + 68 + 3*i + 45. Let v be m(-10). Which is smaller: v or 2/81?
v
Suppose -750 = -3*o + 28*o. Do o and -26 have different values?
True
Let k(c) = -c**3. Let t be k(2). Which is bigger: t or 2?
2
Let u = -210 + 200. Suppose 2*y - 15 - 5 = 0. Let r be (y/(-4))/(u/24). Is r != 2?
True
Let q = 0.21 - -0.11. Let h = q - 0.42. Is h > 12?
False
Suppose -3*p + 23 = 5*m, 2*m + 3 = -3*p + 14. Suppose 2*s + m = 6*s. Suppose 4*a + 2*a + 6 = 0. Which is bigger: a or s?
s
Let q = -4.99 - -4.034. Let h = q + -0.044. Which is bigger: 2/9 or h?
2/9
Suppose -15 = 5*s + 5*o, -3*s = 3*o - 8*o + 1. Which is greater: -35/26 or s?
-35/26
Let g = -97/27 - -2461/189. Is g > 9?
True
Suppose 3*f + 46 = x, 2*f + 118 = -5*x + 297. Suppose 5 = x*u - 32*u. Which is bigger: u or -5/12?
u
Let x be (-4)/6 - 136/(-6). Let p be 340/55 - 4/x. Let b = p + -8. Do -1/2 and b have different values?
True
Let y = 5.6 - 3.9. Let r = 29.7 - y. Let c = -27.9 + r. Is c >= 1/24?
True
Suppose -r = 3*c - 2*c - 7, 0 = 3*c + 15. Suppose -j + 17 = r. Let k be (-3)/2*j/15. Which is smaller: k or -2?
-2
Suppose 19*o - 160 = 15*o. Let f be (o/15)/1 - 2. Suppose 44 = -5*z - i, 0 = -2*z - 4*i - 4 - 10. Which is smaller: z or f?
z
Let x(c) = -c**2 + 15*c - 26. Let z be x(13). Let n be (-40 - (5 - z)) + 3*1. Which is smaller: -41 or n?
n
Let s be (21/84)/((-1 - 22/48) + 2). Let d be (3/3)/(-2 - -1). Is d greater than s?
False
Suppose -4*k = -3*l + 3, 4*l + l = 3*k - 6. Let w = 23 - 26. Let h be ((-45)/(-10))/(w/6). Does k = h?
False
Suppose p + 9 - 23 = 5*x, 2*x + 4*p = 12. Let g be (x/10)/(3/(-39)). Suppose 136 - 184 = -24*u. Is u smaller than g?
True
Let z(k) = 3*k + 78. Let o be z(0). Let i be 4/10 + (o/(-45) - 3). Which is bigger: i or -4?
-4
Let b(o) = -3*o + 11. Suppose -3*h + 2*d - 2 = -14, -3*h - d + 12 = 0. Let k be b(h). Which is smaller: k or 5?
k
Let f be 18/48*1/(-3). Let t = -1 + 3. Suppose -t*p = p. Which is