. Are q and 135 equal?
False
Let w(a) = -2*a**2 - 14*a + 34. Let s be w(-9). Let b be (-7 - (-210)/18)/(s/(-8)). Are b and 18 unequal?
True
Let l(q) = 3*q + 2. Let z be l(-1). Let o be ((-8)/12)/z - 484/(-12). Which is bigger: 42 or o?
42
Let u(f) = -11*f + 2. Let i be u(0). Suppose i*y + 2*d + 11 = -45, 3*d + 132 = -5*y. Which is smaller: -22 or y?
y
Let l = -18692/7 - -2670. Let m = -20.32 + 20. Is m bigger than l?
False
Let v = 1155 + -128204/111. Let x(c) = -1305*c + 9135. Let q be x(7). Do v and q have different values?
True
Let l = -6 + 6. Let g be (1/(-1))/((-2)/2700*-2). Let i be 3 - (684/g - (l + -4)). Is i less than or equal to 0?
False
Let p = -42533 - -2509460/59. Which is greater: -0.4 or p?
p
Let t be ((-3)/33)/((-92)/1012). Which is smaller: t or 1/7207?
1/7207
Let c = 1845 + -1786. Do c and 65 have the same value?
False
Let q = 2184 - 2183.8. Let s be 8/(-3)*90/195. Which is greater: q or s?
q
Let n = -71 + 72. Let k be ((-1)/n)/(1 - 0). Let p be (46/k)/2 - -3. Is -20 less than p?
False
Let k = -397 + 393. Let q = -0.12 + -1.08. Let a = -0.7 - q. Which is smaller: a or k?
k
Let z(k) = 66*k - 4568. Let d be z(70). Is 23 >= d?
False
Let h = -7963 + 7962.9. Which is greater: 852 or h?
852
Suppose 9*g = -5*r + 2625 - 12785, -6148 = 3*r - 5*g. Is r >= -2041?
True
Let j be 0/2 + 24*(-9 - -5). Let c = j - -97. Let r = 140/297 - -2/27. Which is smaller: c or r?
r
Let i be (-5 + 60162/228)/((-1)/2). Let l = i + 518. Which is smaller: 0 or l?
0
Let o be (-1)/6*(-1498926)/143. Is 1750 equal to o?
False
Let s = 3154229/19848 + -17/6616. Is 158 > s?
False
Let i = -60 - 92. Let n = 576 - 729. Is n smaller than i?
True
Suppose -33*b + 7746 + 7467 = 0. Is 458 at least as big as b?
False
Let k = 91 + -1. Let d = -121 - -48. Let v = k + d. Is 17 > v?
False
Let v be (-16)/(-20) - ((-139715)/(-750) + 2). Let m = v - -375/2. Suppose u = -2*w, -2*u + 4*u = 5*w. Which is greater: u or m?
m
Let f be (-75)/(-99) + 0/(-5). Let s = f - -9/22. Suppose 2*p = -2*x + 4, -2*x + 0*x + 5 = 3*p. Is x at most s?
True
Suppose 3*o = -5*f + 8*o, f = 2*o. Which is bigger: f or 3/1981?
3/1981
Suppose -62 = -6*h + 10. Suppose 0 = 2*p + h - 8. Let k be (-1 + 2)*(p - (7 + -4)). Is -44/7 at most k?
True
Let y = 198 - 60. Suppose -y = 13*t - 19*t. Which is bigger: 27 or t?
27
Let b = 2803 - 3118. Which is smaller: 0.6 or b?
b
Let x = -11.75 - -72.25. Are x and 0.1 unequal?
True
Let n = 5143 - 1993. Are n and 3150 nonequal?
False
Let z(k) = k**2 + 43*k + 82. Let d be z(-41). Which is smaller: 311/4 or d?
d
Suppose -23*u = -22*u + 1. Let k(h) = 2*h**3 - 4*h**2 - 12*h**3 + 0*h**3 + 3*h**2. Let f be k(u). Which is bigger: 7 or f?
f
Let r be (15/5)/(((-3)/112)/1). Let j be r/(-42)*(-66)/8. Let a(s) = -s**3 - 23*s**2 - 21*s + 23. Let b be a(j). Is b bigger than 2/23?
True
Let d(j) = -135*j - 1820. Let z be d(-21). Which is greater: z or 0.5?
z
Suppose 60 = 3*y + 2*y - x, 2*y - 4*x = 42. Suppose y*d + 24 = 15*d. Let b be ((-2)/(8/d))/(3/(-44)). Which is bigger: 24 or b?
24
Suppose -8 = v - 3. Let i(t) = -4*t + 15 - 3*t + 8*t. Let s be i(v). Is 8 equal to s?
False
Let n = 90 - 86. Suppose -z + 0*z = 4*v + 21, 4*z = 4*v - n. Let w be v/(-6)*1335/(-10). Is -89 > w?
False
Let z = 1/234 - 62/819. Suppose 3*g + 8 = 2*x, -3*x - 4*g - 3 = 2. Is z at most x?
True
Let k(j) = -10*j**3 - 2*j**2 + j - 21. Let o be k(12). Let i be o/116870 - 4/(-26). Which is bigger: -1 or i?
i
Let h be 93 - -3 - -3 - (-1 + 1). Suppose -6*u + h = 3*u. Let i = 4 - -7. Is u > i?
False
Let v(i) = i**2 - 34*i - 111. Let g be v(37). Suppose 2*z = y - g*y, 5*z - 22 = -3*y. Is -8 greater than z?
False
Let g = 108242 - 1622818/15. Are 53 and g nonequal?
True
Let c = 3505 - 4467. Which is smaller: c or -1?
c
Suppose 74 = -3*a - 55. Let z be 3/60*a + 2. Suppose 524*n = -1090*n - 1614. Which is greater: n or z?
z
Suppose 0*o + 18*o = 324. Suppose -64 = -o*b + 62. Let q(a) = 9*a - 2. Let r be q(1). Is b greater than or equal to r?
True
Let r = -354 - -375. Suppose -3*q = 3*o - r, 5*q + 85 = 14*o - 9*o. Which is bigger: -9/10 or o?
o
Let p(m) = 58*m + 2147. Let t be p(-37). Is 1/163 < t?
True
Let k = 0.26 - 3.36. Let q = k + 1.95. Do 0.1 and q have the same value?
False
Let v(c) = 7*c + 50. Let n be v(-7). Let h(y) = -2*y + 3*y - 1 + 2*y - 3*y**2. Let p be h(n). Which is bigger: -14/11 or p?
p
Suppose -48*r - 41*r = 268780. Is r greater than -3019?
False
Suppose -4*w = x + 10, -3*x - 6 - 10 = 5*w. Let u be 3*(-2)/(-474)*(-1 + x). Let p = 295/11929 + u. Is 0 greater than p?
True
Let l(j) = j**2 - 151*j + 733. Let y be l(5). Is 3.3 greater than or equal to y?
True
Let y = 100 - 99.934. Let x = -1.066 + y. Let j = -10 - -38. Is j at most x?
False
Suppose -4 - 4 = 8*h. Let c be 3 + (4 - 7) + h/1. Which is bigger: c or 26?
26
Let k = 117 + -113. Let g be (-160)/(-168)*1/k. Which is smaller: 0.02 or g?
0.02
Let v be ((-2)/360)/(11/(330/12)). Let k(a) = a**3 - 2*a**2 + a - 1. Let p be k(0). Which is greater: v or p?
v
Let o = -7723447/95774 + 1129/14. Which is smaller: o or -1?
-1
Let i be (-3)/21 - 33/(-105). Let g = i + 202/455. Let u = g + -19/52. Which is smaller: u or 8?
u
Let v = -64.2 + -1.8. Let g = v + 126. Let m = g + -60.05. Which is smaller: m or 0.06?
m
Let z be -5*((-476)/(-35))/(-4). Suppose -z = 4*t - 13. Which is smaller: t or 4/205?
t
Let c(j) = -2*j**2 - 31*j + 16. Let s(l) = -2*l**2 - 19. Let p be s(0). Let i be c(p). Does i = -118?
False
Let q(p) = -p**2 + 28*p + 34. Let j be q(-7). Which is bigger: j or -4?
-4
Let a = -3809 + 4029. Which is bigger: -5 or a?
a
Let o = 25735/9 - 2855. Let p be 14 - 3*(-64)/(-24). Let w be -1 + 1 + 9/(-3) + p. Which is greater: o or w?
o
Suppose 4*p + 33*b - 30*b + 1808 = 0, -2*p - 5*b = 890. Which is bigger: p or -451?
-451
Let y = 35/6 - 13/2. Let l be (6 - 10)*(-14)/4. Suppose 10*g = -4*g - l. Which is smaller: g or y?
g
Suppose 2*c - 4*h - 102 = 0, -12*c + 4*h = -11*c - 41. Let v = c - 16. Is 44 equal to v?
False
Let f(g) = 6*g - 3. Let w be f(-3). Let z = -6489 - -6514. Let u = z + w. Which is smaller: 14/5 or u?
14/5
Suppose -5*g = 0, -5*m + 20 = g + 2*g. Suppose -m*p + 14 - 10 = 0. Is p less than or equal to 6?
True
Let x be ((-6)/21)/(5/(-35)) - -237. Which is greater: x or 234?
x
Let u(m) = -m + 14. Let h be u(17). Let o be ((-8)/h - 1)*1*-1. Let n = -1/6 - o. Is n greater than or equal to -2?
True
Let v = 1.6 - 1.53. Let f = 20644 + -20644.05. Is f at most v?
True
Let l(q) = 56*q + 522. Let u be l(-4). Which is greater: 289 or u?
u
Suppose 2*q + 1558 = -5*q - 1487. Is -436 bigger than q?
False
Let t = -2.2 - -2.1. Let d(p) = p**3 + 11*p**2 - 28*p + 29. Let s be d(-13). Is t at most s?
True
Let h = -365 - -364.95. Suppose -g - 6 = -2*a - 5*g, 2*a - 3*g + 15 = 0. Let k be a/9 - (-1)/6. Is k at most as big as h?
True
Let u = 0.192 + -908.192. Let n = -910 - u. Is n >= 37?
False
Let z = -23/36 + 8/9. Let l = 0.143626 - -0.026374. Which is smaller: l or z?
l
Let r be (28/(-7))/(8/3 + -2). Let k(h) = -423*h - 2*h**2 + 3*h**2 + 1 + 429*h. Let q be k(r). Is -1 > q?
False
Let y(m) = 607*m + 1072. Let h be y(9). Is h < 6536?
True
Let z(i) = 89*i**2 - 50*i + 4. Let o be z(7). Which is smaller: 4016 or o?
o
Let u(s) = -s**2 + 3*s + 13. Let v be u(5). Let o(l) = 63*l**2 - 71*l**2 + l**v + 5*l + 3 + 11 + 0*l**3. Let t be o(7). Do -1/20 and t have different values?
True
Let m(l) = -39*l + 12 + 11 + 2 + 42*l. Let a be m(-9). Let q(g) = g**3 + 2*g**2 + 2*g + 3. Let k be q(a). Are 1 and k unequal?
True
Let t = -35 - -35. Let j be 3 + (1 - 1)/(2 - t). Let l be 6 + -7 - (j + -2)*2. Is 1/2 < l?
False
Suppose 3*o - p + 0*p = 0, -3*p = -2*o. Let w = 52.2 + -0.2. Let f = w - 51.92. Is o equal to f?
False
Let v = -33 + 31. Let m be 208/24*(-1 + v). Let r = -25 - m. Which is smaller: r or -1/50?
-1/50
Suppose 2*o + 218 = 6*a, 0 = 3*a + 41 - 47. Which is greater: o or -118?
o
Let u = 22 + -179. Let l = 116 + u. Let h = l - -41.26. Which is greater: 0 or h?
h
Suppose -b + 68 = 3*b - 2*t, 0 = -4*b + t + 70. Suppose 6*s = b*s - 36. Suppose -2*w - 2 = s*c - 4*w, 2*c - 2 = -2*w. Is c not equal to 0?
False
Let b = -1/1458 + -2185/2916. Is -1.81 at least b?
False
Suppose 54*p + 38*p = -9*p + 303. Are 261/158 and p equal?
False
Let l = 40.847 - 28.847. Which is greater: 76 or l?
76
Suppose -3*s = 