*i - 3. Let j be m(y). Is 3 equal to j?
False
Suppose 3*s + 2*c = 5336, 1 - 21 = 4*c. Let h be 10/55 + 1/(s/(-280)). Is 0 > h?
False
Let d(t) = -t**2 - 6*t - 4. Suppose 0 = -0*r + r + 6. Let u be d(r). Let l be u + (-303)/(-99) - -1. Is 0 < l?
True
Suppose 1 = 4*l + 21, -2*l = 4*q + 38. Let z = q + 6. Which is smaller: 1/27 or z?
z
Let r = 3243/161990 - -1/1670. Let q = r + 79/873. Which is smaller: -2/7 or q?
-2/7
Let x = 92 - -34. Are x and 0.4 equal?
False
Let h(m) = m + 2. Let a be h(-10). Let o = a - -11. Is o at least 10/3?
False
Let g be (3/(-12))/(((-66)/(-80))/1). Which is greater: g or 0?
0
Suppose 27*x = 6268 - 1084. Which is bigger: 4 or x?
x
Suppose 266 = -2*o + 4*x, 5*x + 576 = -4*o + 2*x. Which is smaller: o or -142?
-142
Let x be (-3)/2 + (-18)/(-12). Let k be x - 6*4/(-8). Which is greater: 10 or k?
10
Suppose 3*a = 5*a + 6. Suppose 271*l + 197 = 73*l - 199. Is a greater than l?
False
Let w be 5/15 + 4/3*2. Suppose -w*o - 5*c + 72 = -64, 4*c - 244 = -5*o. Is 51 at most o?
True
Let s be 170/(-340)*(0 - 1*-2). Are 1/483 and s equal?
False
Let j be (4/24)/(3/6). Is 154 less than or equal to j?
False
Let z = -10.31 + 10.8. Let s = z - 0.09. Let r = -30 + 30.7. Does s = r?
False
Let n = 77 + -52. Suppose 2*g = g - n. Which is smaller: -24 or g?
g
Suppose 9*h - 49 = -310. Are h and -31 equal?
False
Let u = -5.562 + 0.062. Let p = u - -6.5. Which is bigger: p or -2/43?
p
Let c(r) = -41184*r + 8. Let b be c(6). Let y = 150728677/610 + b. Let q = 1/122 + y. Is q greater than -1?
True
Suppose 112*h - 117*h = 5. Is h greater than or equal to -15/158?
False
Let z(t) = -t**2 - 5*t - 1. Let s be z(-6). Let p be 6*(s/(-2) + -3). Let d be -1*6 + 3/p. Which is smaller: d or -4?
d
Suppose -v = 2*t - 4*v + 34, 7 = -t + 4*v. Let o = 30 + -30. Is t equal to o?
False
Suppose 0 = -17*f - 218 + 2292. Which is bigger: 123 or f?
123
Let l be (-5)/((-30)/12) + 3 + -5. Let p = -0.5 + -1.3. Is p greater than l?
False
Let t = -3/283 + -479/8207. Let d = -524 + 524. Which is greater: t or d?
d
Let g(n) = -26*n**2 + 11*n - 21. Let y be g(-10). Let x = y - -308601/113. Is 0 <= x?
False
Let u = 1484 + -179567/121. Is 1 < u?
False
Suppose 11*q = 16*q + 900. Let n be (-2)/(-26)*-12*20/q. Is 1 at most n?
False
Let y = 6.2 - 5.8. Is y smaller than 15?
True
Let a = -70 - -42. Let s be 4*(-5 + a/(-8)). Let i be (1 - -1 - 1)/(-1). Is s not equal to i?
True
Let g = -0.137 - 74.863. Let h = g - -32. Which is greater: h or 2/7?
2/7
Let j be ((-9)/6 - 102/72) + 2. Is j at most as big as 1?
True
Let a = -1.2 - 2.8. Let w = -52 - -52. Is w bigger than a?
True
Let d be (-3 - -3 - (-1)/2)*0. Which is smaller: -9/40 or d?
-9/40
Let o(t) = 2*t**2 + 4*t - 1. Suppose 7 - 16 = 3*u. Let s be o(u). Suppose 17*n = 12*n + s. Is n at most 4/11?
False
Let r = 18 + -13. Let d(u) = u**2 + 9*u + 4. Let o be d(-9). Let t = o + -3. Is t <= r?
True
Let t be (5/3)/(40/(-48)). Is -17 less than t?
True
Let v = 16.9 - -41.05. Let h = v - 58. Do h and 3 have different values?
True
Suppose m + 4 = 3*m. Let t be 220/11*m/5. Which is smaller: -2 or t?
-2
Let x = 32442/35 + -4226/5. Let i = x + -7478/91. Which is greater: 1 or i?
1
Let x(s) = -3*s - 5. Suppose c = 3*n + 13, 3*n + 0 = -3*c + 3. Let y be x(n). Let q be (-1 - y/(-6))*-1. Do q and -1 have the same value?
False
Suppose -11*d = -256 + 773. Let l(k) = -6*k**2 + k + 3. Let n be l(3). Which is greater: n or d?
d
Let r = 139 + -111. Is r bigger than 1.6?
True
Let n be (3 + -1)*(-1)/2. Let h = 22 + -17. Suppose 0 = 2*v + k + 2, h*k - 4 = -v - 2*v. Which is greater: v or n?
n
Let c(i) = i**3 + 6*i**2 - 4*i + 2. Let f be c(-4). Let a be (-5)/(f/4)*-5. Suppose -a*k + 6 = k. Which is smaller: 0 or k?
0
Let x = 6 + 29. Suppose 7*u + x = -0*u. Which is smaller: -6 or u?
-6
Let f be (-2 - (-78)/51)*1. Let t = -304 - -303. Which is greater: t or f?
f
Let k = 549 + -519. Is k >= 0.3?
True
Suppose 21*t - 510 = 16*t. Suppose -f + 4*f - 4*h = -t, -3*f - 102 = -h. Let a be 98/f + -2 + 5. Is a != 1?
True
Let m = -21 - -21.59. Let c = m + -3.89. Let w = -15.3 - c. Which is smaller: 0.1 or w?
w
Let t = -880 - -908. Is -3/2 equal to t?
False
Let b be (-6)/(-3) + 0 - (-4365)/(-2132). Let i = -5/52 - b. Is i < 1?
True
Let p(u) = 3*u + 7. Let r be p(3). Let n be 62/r + (-2)/(-16). Suppose -3*k = n - 1. Which is smaller: k or -7/6?
-7/6
Let c(a) = -4*a - 31. Let o be c(-8). Let v be (o + -4)/((-2)/(-10)). Is -14 < v?
False
Let o = 29 - 27. Suppose 2*j - 3*l + 26 = 0, -3*j - o*j + 5*l - 60 = 0. Which is greater: 0 or j?
0
Suppose 4*a - y = -5, 4*a - 27 + 28 = -3*y. Which is bigger: -2/877 or a?
-2/877
Let x = -123 + -32. Is -156 less than x?
True
Let s = 5792/15 + -386. Let b(z) = -4*z - 12. Let j be 0/13 + 1 + -3 + -1. Let k be b(j). Which is bigger: k or s?
s
Suppose 44*b - 38 = 47*b - 5*q, 5*q - 44 = 4*b. Which is greater: -28 or b?
b
Let s be -5 + -6 + -297 + (-1 - -3). Do s and -305 have the same value?
False
Let x be (4 + -4)*4/12. Are x and 33 equal?
False
Let d be (-1704)/(-1276) + -1*2/(-11). Which is smaller: d or 2?
d
Suppose -3*s + 4*m + 8 = 0, 5*s - 24 = 3*m + m. Let r = -5 - -8. Suppose j + r*j - 36 = 0. Which is smaller: s or j?
s
Let b = 25.3 + -26.3. Is b >= 12.9?
False
Let w be -5 + -1 - (7 - 18). Let a be (w + 1)*(-27)/18. Let v(o) = o - 5. Let n be v(-4). Are a and n equal?
True
Let h = -64 + 28. Let o = -35.8 - h. Is o at least as big as 6/11?
False
Suppose 5*u = 5*l - 5, 93 = -3*u - l + 94. Is u smaller than 1/217?
True
Suppose 9*z = 3255 + 1479. Is 524 less than z?
True
Let m = 2843308/1113 + -77242/53. Let y = -1097 + m. Is -1 <= y?
True
Let b(z) = 2*z**2 + 41*z + 32. Let j be b(-20). Is j at least 35?
False
Let h = 51 + -45.3. Let s = h + -4.7. Is 3/2 at least as big as s?
True
Let s = 1 + -3. Let p(z) = 2*z + 46. Let k = 28 - 52. Let v be p(k). Is v smaller than s?
False
Suppose 23*f = 28*f + 245. Let b = f + 89. Are 40 and b non-equal?
False
Let j be (-1 - 13)*4/2. Suppose 14*f - 6*f - 16 = 0. Let c be (-10)/(70/(-21)) + (-64)/f. Is j smaller than c?
False
Let p(a) = a**2 - 12*a - 7. Let v be p(-3). Are v and 0.3 equal?
False
Let a = 120 + -481/4. Which is smaller: a or 9/20?
a
Suppose -3*t - 2*q - 3 = q, 4 = 4*q. Let z be t/6*(0 - -3). Which is smaller: z or -5?
-5
Suppose -50 = h - 32. Let c be 22/126 + -2*(-2)/h. Which is bigger: 1 or c?
1
Let u be 2/9 - 752/(-18). Suppose 23*d - 6140 + 523 = -114*d. Which is greater: u or d?
u
Let j = 598 - 597. Let s = -4.95 - 0.05. Is j bigger than s?
True
Let d = -3 + 4. Let i(f) = 5 + f + 1 - d + 1. Let u be i(-7). Which is smaller: -5 or u?
-5
Let n be (5 + 1)/(-8 + 10). Suppose -n*a = r - 5, 10 + 21 = 4*r + a. Let h be r/(-4) - 1 - -7. Is h at most as big as 3?
False
Suppose 0 = -61*n + 44*n + 1904. Is n bigger than 116?
False
Let x(q) = 2*q + 54. Let o be x(-11). Which is greater: 2 or o?
o
Let o be (-2)/6 + 229/705. Let r(g) = g**2 + 14*g - 32. Let w be r(2). Which is smaller: w or o?
o
Let y be 2 - 10 - 6325/33. Which is greater: y or -200?
y
Suppose 4*q - 11 = 9. Let w = -4 + q. Let y be 121/11 + (w - 4). Which is greater: 6 or y?
y
Suppose -t + 4*j = -31, j + 113 = 5*t + 2*j. Let z = 22 - t. Let s be 4 - (17 + -2) - -4. Which is smaller: s or z?
s
Let o = 6363 - 11828815/1859. Which is smaller: -1 or o?
-1
Let u = -19 - -31. Let w be 2/u*2/3. Is w bigger than 1?
False
Suppose 4*l + 519 = 2*l + j, 3*l = 5*j - 782. Are -258 and l nonequal?
True
Let a(o) = -o**2 + 20*o - 1. Let w be a(17). Let s = w - 28. Do 22 and s have different values?
False
Let y = -80 - -98. Let z be (y/(-63))/(24/(-21)). Which is greater: 5 or z?
5
Let g be (-165)/(-45)*(-2)/(-9). Is 1 at most g?
False
Let k(g) = 2*g**3 + 14*g**2 + 2*g - 12. Let w be k(-7). Is w at least as big as -18?
False
Let t be ((-14)/(-4))/(9/186). Let i = t + -74. Which is bigger: -2 or i?
i
Let p be 2*(-1)/9 + 342/81. Let r(m) = -m**3 - 4*m**2 - 4*m - 3. Let b be r(-2). Let d be -7 + 6 + (-1 - b). Which is smaller: p or d?
d
Let b = -0.437 + 0.537. Is b bigger than 5/12?
False
Suppose -3*l + 258 = -4*r + r, 0 = 4*r - l + 356. Is r greater than or equal to -93?
True
Suppose -3*w + 5*c = 3*c - 40, -4*w = -2*c - 56. Suppose -5*a = -5*s + 85, -3*s - 7*a + 45 = -8*a. Which is greater: s or w?
w
Let c = -502 - -279. Is c at most as big as -223?
T