 k or z?
k
Suppose -b = 4*w + 297 - 850, -2*w + b + 281 = 0. Let u = 138 - w. Which is smaller: 2/185 or u?
u
Let p = 338/467 + -1223780/4203. Let l = p + 290. Which is smaller: -1 or l?
-1
Let h = -0.665 + -0.205. Let x = 8.03 - h. Let s = x - 8.9. Is -18 smaller than s?
True
Let b = -2999/889 - 7/127. Let z = -135 - -134.94. Is z < b?
False
Suppose -45 = 113*i - 122*i. Suppose j - i*q - 15 = -29, 4*j + 3*q = -33. Is -15/2 equal to j?
False
Let c(x) = 2*x**2 + 443*x + 24132. Let j be c(-125). Let l be 2*9/2 + -1. Does j = l?
False
Let r = -18532 - -28420. Which is bigger: r or 9889?
9889
Suppose -c + 4*o = -39, 2*c = 4*o + 14 + 24. Let s = -0.67 - -0.5. Is c >= s?
False
Let v be (3 - (-204)/(-15))/(3/(-15)) + -3. Let x = 198 + -369. Let i be v/(-9) + 76/x. Do -7 and i have different values?
True
Suppose -s - 4 = -5*s, 0 = 3*f + 4*s - 106. Suppose -32*k + f*k + 2 = 0. Let h be -6 + 2 + k/6*-7. Is -2 not equal to h?
True
Suppose 62*t + 625 = -243. Which is greater: t or -358/25?
t
Let u be (-46)/(-6) - 2/3. Let y be (24/u)/2 - 2. Let m be -13 + 54/4 + (-1)/6. Is m greater than y?
True
Let a be (21 + -32)*(-2)/((-2)/29). Is a equal to 0.4?
False
Let m = -265/3 - -79. Let i = -29/6 - m. Are 5 and i nonequal?
True
Let i = 3 - 2.4. Let s = 123937 + -123938. Which is smaller: i or s?
s
Let j be 432/180*33/(-78). Which is bigger: 0 or j?
0
Let f = 4/9479 + 2407510/369681. Which is smaller: f or 0.2?
0.2
Let o = -55 - 59. Let f = o - -229/2. Let h be -1 - 0 - 15/(-21). Is f greater than or equal to h?
True
Let t be (7382/34)/((-112)/(-1904)). Are 3692 and t equal?
False
Let d = -6 + 4. Let x = 0.005 + -122.505. Let n = -122.75 - x. Which is greater: n or d?
n
Suppose 4*v + 64 = 4*u, 4*u - 5*u - 69 = 4*v. Suppose 82*k = 403*k + 986 - 23. Is k at most v?
False
Let w be 40938/105 - 2/(-5). Is w equal to 390?
False
Let f = 39.69334 + 0.58766. Let s = f + 0.819. Let q = 41 - s. Which is smaller: q or 16?
q
Let m = -60/181 + -1/543. Let o(d) = -d - 13. Let i be o(-7). Which is smaller: i or m?
i
Let w = 4 + -4.1. Let l = 56854/13 + -4373. Are l and w nonequal?
True
Suppose 8*o = -68 - 12. Let a be (-18)/o + (-18)/(-90). Suppose 4*q = 3*n - 0*q - 6, 0 = -5*n - a*q + 10. Which is bigger: n or 1?
n
Let u be 3/6*536/(-20). Let h be 90/(-25)*70/(-21). Let q = h + u. Which is smaller: q or -2?
-2
Suppose 11*m = 979 + 671. Let n be 3/(-96)*4*m. Is n less than 0.1?
True
Suppose 2*f - 3*o + 1055 = 0, -13*f + 12*f - 2*o - 524 = 0. Is f greater than or equal to -3687/7?
True
Let j = 193 + -222. Let b = -30 - j. Which is smaller: 27.6 or b?
b
Let c(d) = -2*d**2 - 47*d + 28. Let i be c(-24). Suppose 0 = -i*t - 3*m, 0*t - m = -4*t. Let z = 4988/51 - 292/3. Which is smaller: t or z?
t
Let m(o) = 7*o - 7. Let t be m(-5). Let i be (-4)/5 - (-288)/160. Let d be (t/(-12))/((17/(-2))/i). Which is smaller: 0 or d?
d
Let x = -2925011/1365 + 32147/15. Let r = x + -4/35. Suppose -843*s + 796*s = 0. Is s at most as big as r?
True
Let i = 4808 - 4812. Which is greater: i or -3/10?
-3/10
Let b = 27968/13 - 2150. Let q = 10 + -8. Is q >= b?
True
Let s(g) = -2*g**3 - g**2 + 2*g - 3. Let p be s(-2). Suppose -37 = -4*v - p. Let k = 166.8 - 167. Is k bigger than v?
False
Let g = -1233 + 1233.037. Which is greater: g or 2?
2
Let f(h) = -10*h - 31. Let q be f(-4). Let p be q*((-138)/33 + (4 - 0)). Is -2 <= p?
True
Let t = 20159/11870 + 2/1187. Let z = 7/5 - t. Suppose 0 = 4*a - 2*q - 4, 28*q - 24*q + 20 = -4*a. Is a at most z?
True
Let g be (-2555)/(-15)*3 - 22/22. Which is greater: 3065/6 or g?
3065/6
Let p = -10.37 - -0.37. Let b(o) = o**2 - o - 4. Let x be b(2). Is x greater than p?
True
Let q(l) = -3*l**2 - 3*l. Let p be q(-2). Let s be p/(-2) - ((-18)/(-12) + 2). Is s at most as big as 0.24?
True
Let k = 2064 + -2183. Suppose 0 = 5*r + 1 - 6, -483 = 4*a - 3*r. Is k at most a?
False
Suppose -35509 = -37*l + 36049. Do l and 2 have different values?
True
Let x = -1/23 + -707/138. Which is bigger: 1/3 or x?
1/3
Let u = 8395 - 8445. Let w be (-26)/(((-9)/6)/(-3)). Which is bigger: u or w?
u
Let o = 137.9712 - -0.0288. Let y = o + -138. Which is smaller: -13 or y?
-13
Suppose 43 + 20 = 9*z. Let j be (-40)/(-140) - 79/z. Which is bigger: j or -12?
j
Let y = 4153001309/50 + -83064437. Let h = y + 4411. Let u = h - 269/2050. Is 1 > u?
True
Let r be 233/(6340/(-90) - (-24)/54). Which is smaller: -3 or r?
r
Let b be (6/9 - -5)*-21. Let g = b - -7. Is -112 at most g?
True
Let i be (10/6)/(3 + (-16)/6). Let d be (-2)/4*-2*i. Suppose -d*m - a + 38 = 0, 1 = 4*m - 5*a - 12. Are m and 33/4 unequal?
True
Let y be 1*2 + 2 + -2. Let n be (-2)/(-1) + 28/(-14). Suppose n = -2*o + y*b - 230, 4*o - b = 2*o - 230. Which is bigger: -1/2 or o?
-1/2
Suppose -2*h = -7*h + 20. Let r be (-26)/h*(-4)/(-2). Let u = 181 - 192. Is u greater than or equal to r?
True
Let f = 188 - 116. Suppose 5*q - 102 = -4*t + 289, 3*t = 4*q - 288. Let r = f - q. Which is smaller: -18 or r?
-18
Let g(f) = 49*f**3 - 2*f**2 + 4*f + 12. Let a be g(-2). Is a at least -397?
True
Let y = -8637.6 + 8652. Are 34 and y equal?
False
Suppose 2*u - 4 = 5*t, 3*u = 3*t - 4*t + 40. Suppose -3*j + u*j = -882. Does j = -98?
True
Suppose p - 2*m = -14, 3*p + p + 4*m = -8. Let j be 7 + (p - 7) - 190/(-1). Do 185 and j have the same value?
False
Let h be (-704)/14*(-16 + 935/68). Is h less than or equal to 114?
True
Suppose -z - 5*i - 2 = -17, -3*z + 85 = 5*i. Suppose t = z - 31. Suppose t*r + r = 275. Is 56 > r?
True
Let s(j) = j**3 - 2. Let t be s(-2). Let w = t + 6. Let p = -592/2079 + -2/2079. Which is bigger: p or w?
p
Let k(q) = 2008*q - 7895. Let m be k(3). Is -1872 < m?
True
Let b = 14 - 24. Let t(i) = 2*i**2 + 18*i - 9. Let j be t(b). Is j less than or equal to 12?
True
Let g = 16 + -13. Suppose 12 = -g*m + 42. Let j = -147.8 + 148. Is m at least as big as j?
True
Let c be (3/2)/(81/108). Let i be (0 - 1)*(-2 - 0). Let p = i - c. Is p less than or equal to -3?
False
Let q be 7/(-18) - (-53)/(-318). Let v(z) = 16*z - 338. Let u be v(21). Which is bigger: u or q?
q
Let v(m) = 7*m**3 + 35*m**2 - m - 5. Let y be v(-5). Which is smaller: -43/45 or y?
-43/45
Suppose 0 = -8*n + 2*n. Suppose n = -3*r - 199 - 8. Which is smaller: -70 or r?
-70
Suppose 2*k + 5*h - 2191 = 0, 2*k - 6*k - 2*h + 4358 = 0. Let v = k + -670. Is 419 at most v?
False
Suppose 2*y - 96 = -4*g, -4*y - 28 - 22 = -3*g. Let h be (-4)/(-8) + 319/g. Is h bigger than 12?
True
Let r be 1 + -7 + 971 + (-42)/(-6). Are 971 and r nonequal?
True
Let d(a) = a**3 + 32*a**2 + 32*a + 28. Let p be d(-31). Let g be 40/(-30)*1*p. Let u = -60 - -298/5. Is g greater than u?
True
Let l = 2651 + -2825. Is l equal to -171?
False
Suppose 21*a = 17801 - 21476. Which is bigger: a or 23?
23
Let r be 5*(168/5)/(-4). Let p be 7/r - 82/12. Let l(h) = h**2 - 9*h + 2. Let j be l(8). Is p smaller than j?
True
Let a be (-456)/(-33) - (124/44 - 3). Suppose -4*b = a + 2. Let k = -3 - b. Which is smaller: k or 3?
k
Let z be 0 + 0 + (-44)/385. Let t = -54 - -43. Let a be (132/(-8))/t - (-2)/(-4). Which is smaller: z or a?
z
Let m = -0.2 - -0.2. Let b(k) = -6*k + 93. Let f be b(20). Let n be f/28 + 7 + 357/(-49). Is m greater than n?
True
Let s = -114 + 1233. Is 1119 smaller than s?
False
Suppose 0 = 3*f + b - 89, 5*f + 34*b = 30*b + 160. Suppose 2*y = -2*t + 28, -3 - 12 = -y - 2*t. Suppose 0 = 4*h - y - 103. Which is smaller: h or f?
f
Let d(g) be the first derivative of g**3/3 - g**2 - 4*g + 10. Let b be d(6). Suppose -5*c = -c - b. Is 3 at most as big as c?
True
Let r = 2545 - 2930. Which is greater: 2 or r?
2
Suppose 23 = 4*m - 37. Suppose -12 = s - m. Suppose 4*i - 3 = 5*u + 4, -s*i - 3*u - 15 = 0. Which is greater: -1/2 or i?
-1/2
Let z be 81/216 - (-58)/16. Suppose m - 4 = z. Suppose m*k = 16*k - 64. Which is smaller: k or 5?
5
Let c(m) = -m**3 - 2*m**2 + m - 8. Let w be c(-3). Suppose 0 = n - 35 + 36. Let i(r) = 19*r**2 + 2*r - 1. Let j be i(n). Is j at most w?
False
Let f be ((-48)/5)/((-66)/165). Let g be 5*6/f*(1 - 29). Is -32 at most g?
False
Suppose o = -3*w + 19, 5*w + 6 = 8*w. Let m(c) = -c**2 + 6*c + 27. Let f be m(o). Let t be (f/10)/(-2) + 3 - -2. Which is smaller: 9 or t?
t
Suppose -24*m + 26*m - 185 = -s, -5*m - 4*s + 470 = 0. Suppose 0 = -t - i + m, -3*i + 184 = 9*t - 7*t. Let q(z) = 5*z**2 - 2*z -