 = 2. Are r and y nonequal?
True
Let i = 854 + 1208. Which is bigger: -1 or i?
i
Let k be (-16)/(1728/(-18))*-3. Which is smaller: 3/1252 or k?
k
Let v = 1 - -8. Let l = 106196 - 1061883/10. Is v at least l?
True
Suppose -1092278 - 342958 = -10*j - 56*j. Is j at least as big as 21744?
True
Let o = -0.08453 + 2.08453. Which is greater: -2237 or o?
o
Suppose y + 4*h = 4*y - 12, -4*y = 2*h + 6. Let t = -776/5 + -493/10. Let k = t - -7759/38. Which is bigger: y or k?
y
Let y = 167 - 171. Let j be 26 + -22 - y/(-2). Let h = 1 - 0. Is j greater than or equal to h?
True
Let v = -30454741/1243 - -24501. Let f = 116832/6215 + v. Is 18 greater than f?
False
Let a = -6239 - -5269. Is -973 at least a?
False
Suppose 0 = -128*l + 123*l + 645. Let m be (2/l)/(18/27). Which is bigger: 1 or m?
1
Suppose 3*d - x + 29 = 0, -d + x = d + 19. Let o = 44 - 44.77. Let z = 0.87 + o. Which is smaller: z or d?
d
Let v = -3883 - -3975. Is 6 greater than v?
False
Let i(k) = k**2 + k + 1. Let q be i(0). Let d be 1 + 3/(-27)*q. Suppose -2*j + 8 - 4 = 0. Which is smaller: j or d?
d
Let s = -7336/19 + 386. Suppose 1343*q + 1036*q = -141*q - 2520. Are s and q equal?
False
Let z be (20 - 57) + 2*-1. Let w be (1 + 0)/((-6)/81*z). Let f = w - -2/13. Is f bigger than 2/7?
True
Let x be (62/(-8))/((-5)/4)*(-180)/2800. Let s = -419/2700 + 5/27. Let h = s - x. Which is greater: -6/7 or h?
h
Suppose 0 = 26*m - 23*m - 45. Let j be (-2 - m/(-6))/((-2)/4). Let k be -2 - -1 - (-128)/126. Is k bigger than j?
True
Let m be (-55958)/(-252) + (-5)/90. Is 230 >= m?
True
Suppose -595 = -3*a + 8*a. Let y be 5810/a*(-8)/3150. Let j = y + -2/315. Which is smaller: 1 or j?
j
Let a be 0 + -2 - 90/7. Suppose 1836 = 76*n + 2900. Is a smaller than n?
True
Suppose -3 = m, 32*g - 34*g - 5*m = -485. Which is smaller: 248 or g?
248
Let l = -9660 - -13997. Is 4335 smaller than l?
True
Let q = 119447 + -39656401/332. Let r(z) = -z**3 - z - 1. Let h be r(0). Which is greater: h or q?
q
Let c = -1195 - -1198. Which is bigger: -38/85 or c?
c
Let i be (4330*(-855)/(-80))/(1/156). Let r = i + -884307768065/122494. Let l = r + 2/839. Is l < 0?
True
Let g = 2066 - 2065. Suppose -q = -5*q + 36. Let o be 2/9 + (-29)/q. Which is greater: g or o?
g
Let g(z) = 5*z**3 - 22*z - 6*z**3 - 2*z**2 - z**2 - 10*z**2. Let x be g(-11). Let w be x + -2 - (360/(-34))/5. Are 1 and w unequal?
True
Suppose -7*r - 120 = -3*r. Let l be 454/r + (-4)/(-30). Is l >= -136/9?
True
Suppose 0 = -20*m + 26113 + 4067. Is 1507 greater than or equal to m?
False
Let h(m) = 107*m**2 - 75*m + 151. Let i be h(2). Is i greater than 422?
True
Let b be 1360/4*((-52)/8 + 7). Are b and 91 nonequal?
True
Suppose 104*z + 18 = 102*z + 4*s, 5*z - 5*s + 25 = 0. Which is bigger: z or 4671?
4671
Suppose -4*o + 1 = 9. Suppose -8 - 1 = -3*v. Suppose -v*x = -0*x. Which is bigger: x or o?
x
Let l = 4403 + -4478.32. Let h = 76 + l. Let w = 0.32 + h. Does 40 = w?
False
Let k = 311 - 580. Let n = -270 - k. Are 11 and n non-equal?
True
Let p be ((-1)/(9 + -5))/(71/284). Is p not equal to -4/25691?
True
Let p(m) = -8*m - 88. Let g be p(-35). Let k = g + -152. Is 39 < k?
True
Suppose -6*j = -6 - 6. Suppose k - 142 = 3*u, 0 = -j*k + k - 2*u + 117. Suppose -5*s - 168 = k. Is -59 equal to s?
True
Let j(v) = v - 2. Let a = -3 + -1. Let w be j(a). Let k be (2/w)/(1/3). Which is greater: -20/9 or k?
k
Let g = 4 + -1.8. Let f = 2.4 - g. Let k be 19/19 - 6/7. Is k greater than f?
False
Let n be (172/927510)/(2/18). Which is bigger: n or -1?
n
Suppose 4*n = 31*n + 378. Let r be 48/(-14)*49/n. Which is smaller: 15 or r?
r
Suppose 4*t = -2 + 10, l - 56 = -3*t. Let b be 8/l*35/(-7). Is -1 >= b?
False
Let p = -153682 - -153783. Let n = 3.3 + -3. Which is smaller: p or n?
n
Let v = -133 + 133. Suppose -4 = -s - s. Suppose 4*f + j + 0*j + 4 = 0, 3*f + j + s = v. Do f and -11/7 have the same value?
False
Let p be 532/385 + 6/(-5) + 432/(-2739). Let c(a) = -a - 5. Suppose 0 = u - 6*u - 20. Let j be c(u). Which is greater: j or p?
p
Let v = 6.4 - 6.84. Let i = v - -0.34. Which is greater: i or -1/2?
i
Let a(p) = 11*p**2 + p + 2. Let n be a(-1). Suppose 0 = -2*g + 4*g - n. Let u = 22 + -18. Which is bigger: u or g?
g
Let u = 9/12736 + -6208863/89152. Which is bigger: -71 or u?
u
Let o = -12.6 + 0.6. Let w = 2.04 - -9.96. Which is smaller: o or w?
o
Let o(d) = -2*d**2 - 61*d + 56. Let l be o(-28). Suppose 49*j - l = 12103. Is 251 >= j?
True
Suppose 4*t - 15 = -t. Suppose -t*r - 60 = -57. Is r less than or equal to 13/49?
True
Let h = -125 - -123.4. Let i = -20 + 15. Let s be -3 + (-13)/i + 0. Are s and h unequal?
True
Suppose -7*j = 10066 - 12831. Is j at least as big as 394?
True
Let f = -73 - -99. Suppose -54 = j + 3*s, -2*j - f = -2*s + 42. Is j at most as big as -37?
True
Let k = 5.186 - 5.186. Is k greater than or equal to -0.267?
True
Let x be 1879*72/(-252)*((-18)/(-4))/3. Which is smaller: x or -805?
x
Let g = 2/14903 + 29564/1803263. Are -11/6 and g nonequal?
True
Let n be (-23)/(-6) - (-1435)/(-410). Is 82 less than n?
False
Let f = 0.2 - 67.2. Let b = 65 + f. Let a = -2.6 + -16.4. Is b at most as big as a?
False
Let y(f) = -18*f + 645. Let w be y(0). Suppose 646*k = w*k - 111. Is k at most as big as -112?
False
Let k = 4427 + -447133/101. Which is smaller: k or 0?
k
Let b = -106712 + 10884625/102. Let u(n) = -n**2 - 3*n + 1. Let x be u(-3). Is b greater than or equal to x?
False
Let u be 5427 + 100/(-10) + 2/(-2). Is u < 5416?
False
Suppose -10*v + 6137 = -2713. Let t = 883 - v. Are t and -42/37 equal?
False
Let i be (102/9)/(5/(-75)). Is -2910/17 > i?
False
Let o = 1044/5 - 206. Suppose 0*y - 3*f = y + 4, -f + 12 = 2*y. Let p = 11 - y. Is o bigger than p?
False
Let q = -0.221 + -10.079. Let f = 269.3 + q. Which is smaller: f or 1/2?
1/2
Let c(w) = 4*w**2 - w. Let d be c(3). Let g = 28 - d. Let u(y) = -3*y - 9. Let k be u(g). Which is greater: k or 3?
k
Suppose -36*r + 38*r + 830 = 0. Let m = r + 403. Which is bigger: -98/9 or m?
-98/9
Let f = 327 + -620. Let k = f + 292. Let t = -26 - -36. Which is greater: t or k?
t
Suppose -3*i + 2*v = -77, -3*i - 19*v = -24*v - 62. Suppose i*x = 28*x - 22. Which is smaller: x or -28?
-28
Let i be 8/(-160)*5 + 9/20. Is -761 less than i?
True
Let a(j) = 2*j - 76. Let q be a(41). Suppose -14 - q = 4*k, -n = 3*k + 16. Do 2/205 and n have different values?
True
Let s = 4466 - 4524. Let v = 12.1 - 12. Which is smaller: v or s?
s
Let z be (0 + 8)/(24/120). Let w = -818 + 858. Is w < z?
False
Let a(s) = 5*s - 29. Let d be a(-8). Let m = d - -78. Suppose 36 = -0*k - m*k. Which is smaller: k or 1?
k
Let j be 31/(10075/702) + (-3)/(-5). Which is smaller: 3 or j?
j
Suppose -3*u - 39 = -6*u. Let h = 12 - u. Let q be -5*1/64*h/5. Which is bigger: q or 0?
q
Let s = 2364 + -2363. Which is smaller: s or 1211?
s
Let b = 84.206 - 6.206. Which is greater: 2.7 or b?
b
Let x be (-2 + 1)*2 - 7. Let a(r) = 10*r + 60. Let j be a(-6). Let z be (-14 - j)/(-25 - -27). Which is bigger: z or x?
z
Suppose -509 = 4*r - 3*g, -11*r - 2*g - 351 = 1141. Is -125 at most as big as r?
False
Let d(p) = p**2 + 9*p + 7. Let o be d(-8). Let f be -1 + (-1572)/(-261) - (24 + -19). Is f at least o?
True
Let n = 581/979 + 20/89. Let z(m) = -m**3 - 9*m**2 - 9*m - 6. Let b be z(-8). Which is bigger: n or b?
b
Suppose 2*r + 78 = 5*h, 3*h - 26 = -7*r + 3*r. Let z be h/119 + (-1086)/(-17). Is z > 63?
True
Let d(c) = 12*c**3 - 9*c**2 + 30*c + 119. Let b be d(-5). Which is smaller: b or -1757?
-1757
Let z be (-4)/8 + (-9)/2. Suppose -441*s + 3*h = -442*s - 4, 3*h = -4*s - 43. Is z < s?
False
Let d = 0.01 + -0.51. Let a = 1.11 - 0.719. Let f = 0.191 - a. Is d smaller than f?
True
Let q = 869 + -869.21. Which is greater: q or -62?
q
Suppose -5*u + 148 = 2*y - 454, 5*y - 1505 = -3*u. Let o = -241 + y. Is o less than 62?
True
Let c = 0.992 + -0.102. Let s = -0.853 + c. Let m = -11 - -10. Is s > m?
True
Let i(m) = 72*m - 191. Let a be i(6). Suppose 4*o + 2*f - 974 = 0, f + 4*f = -5*o + 1225. Which is greater: a or o?
o
Let q(o) = -11*o**2 - 1. Let z be q(0). Which is greater: -2/2617 or z?
-2/2617
Let g = 207 - 206.1. Let c = g - 0.8. Do 135 and c have the same value?
False
Suppose 4*x - 223 = 4*l + 9, x = 3*l + 60. Let u = x - 54. Suppose d + u*d = d. Which is smaller: 2/7 or d?
d
Let z = 0.37657