(7). Which is smaller: i or 2/11?
i
Let z = 1550 + -1558. Are -13/2 and z equal?
False
Let d = 683/136 + -5/34. Which is smaller: d or 4?
4
Let q be ((-1125)/(-48))/(-5) - 5/(-1). Let x(k) = -k**2 + 5*k - 1. Let d be x(5). Are d and q non-equal?
True
Let f = -93 + 92. Is f <= 4.2?
True
Let r = -66 + 52. Let d = -181.9 - -182. Which is bigger: r or d?
d
Let m = -10 - 5. Let n = -28 - m. Are 2/9 and n nonequal?
True
Let y = 4 + -87. Let j = y + 86. Is j bigger than 8?
False
Let g = -0.0352 + 0.0252. Which is smaller: g or 2/13?
g
Let k = -328 + 323. Which is bigger: k or -3?
-3
Let l = 4 - 2. Suppose 0 = 3*h + 3*b - 3, 4*h + 7*b - 16*b = 43. Suppose l = -d + c, -h*d - 4*c + c = -20. Do 3 and d have the same value?
False
Suppose -84 - 6 = -6*f. Suppose 0 = 8*y - f - 17. Which is smaller: y or 40/9?
y
Suppose 4*g = 3*d + 2*d - 2617, 0 = -5*d - 3*g + 2631. Suppose 0 = r + 14*r + d. Is r bigger than -36?
True
Let f be ((-8)/3)/((-30)/(-45)). Let y = 5 - 9. Let h be (y - (-7 + -1)) + f. Which is greater: h or -8/9?
h
Let v = -128.8 + 129.03. Are 3/4 and v non-equal?
True
Let t be ((-33)/11)/((-99)/(-4)). Is -0.2 smaller than t?
True
Let h be (-534)/18 + 3/(-9). Let o = -26 - h. Is -1 greater than o?
False
Let d be 12560/(-18858) - (1 - 20/12). Which is greater: d or 1?
1
Let t(h) = -h**2 - 6*h + 1. Let a = -20 + 29. Suppose 3 = -2*r - a. Let x be t(r). Which is smaller: x or 3?
x
Let k be (2/12)/(-1 + 2). Let w = 77 - -64. Let g = -1267/9 + w. Is g <= k?
False
Let j = -259 - -271. Is j > 9?
True
Let c(z) = 19*z**3 - 2*z**2 + z. Let s be c(1). Let o be s/27*(-2 - -1). Which is smaller: o or 5?
o
Let c be 14/6 - (-6)/9. Suppose 4*n - 8 = -4*a, -5*n + 2*a - 20 = -2. Let i = -1 - n. Is i smaller than c?
True
Let j(l) = -l**3 + 17*l**2 - 11*l - 90. Let x be j(16). Let z = -17 + 8. Is z <= x?
False
Let y = 16 - 60. Suppose -38*a = -51*a - 572. Is y > a?
False
Let t be (24/135)/(10/(-1100)). Which is smaller: t or -21?
-21
Suppose -5*i = -4*g - 3, 4 = -g - 2*i + 13. Suppose -g*d + 4 = -d. Suppose d*v + 15 = -3*v. Which is smaller: -4 or v?
-4
Let g = -0.101 + 0.171. Suppose -11 = -j - 5*b, -j - 3*b - b = -11. Let s(f) = f - 12. Let u be s(j). Is g less than or equal to u?
False
Suppose -10*w = -60*w. Do w and 1/1543 have the same value?
False
Let b be 58260/(-54438) + 0 + 1. Let a = -385105/1266 - -1825/6. Let i = a - b. Is 1 != i?
True
Let t = -13240/1239 + -5/177. Which is smaller: -11 or t?
-11
Let v = -84 - -92. Let s be (0 + 1)/(1/4). Let y = s - v. Is -4 <= y?
True
Let h be 30*6/(-24) - 1/2. Let f(t) = 2*t + 16. Let y be f(h). Is y < 1/2?
True
Let j be ((-3)/(-16))/(193/(-772)). Are -142 and j non-equal?
True
Let r be -7 + -1 + (-2636)/(-330). Which is smaller: -1 or r?
-1
Suppose -3*a - 3*d = 0, d = 2*a - 0*d + 3. Let l = -6/7 + 5/14. Which is smaller: a or l?
a
Let t(o) = -o**2 - 6*o + 7. Let j be t(-6). Suppose 0 = 2*y - j*y + 25. Suppose -g + 4 = -y*g. Which is bigger: 3 or g?
3
Suppose -3*q + 363 = 3*p, 375 = 3*q + 43*p - 44*p. Is q less than 125?
True
Let b be 0 + 510 + -9 + 6. Is 506 > b?
False
Let o = 709 - 729. Is o > -5?
False
Let d = -48007/7 - -6840. Which is bigger: 0 or d?
0
Let s(j) = 6*j - 26. Let z be s(5). Let h be (-1*(5 + -3)/z)/2. Suppose 0 = w + 4*p - 8, p = 2*w + 2*p - 2. Which is smaller: w or h?
h
Let y = 1.11 - 0.35. Let n = 0.755 - y. Is 1 smaller than n?
False
Let w be (-482)/(-16) - (-4)/(-32). Let f be ((-1)/(-5))/((-384)/w). Which is smaller: f or 0?
f
Let c = 0.2 + 0.2. Suppose -9*j + 12*j - 6 = 0. Let g be (j - 2 - 2) + -1. Which is greater: c or g?
c
Suppose 4*f - 366 = 58. Suppose 2*r + f = 4*s + 32, -r = -5. Is s not equal to 22?
True
Suppose -54 = 12*c + 42. Which is smaller: c or -13?
-13
Let s = -0.26 + 46.26. Which is greater: s or 0.1?
s
Let c = 243 - 235. Let u(s) = -s**3 - 3*s**2 - 3*s - 3. Let r be u(-2). Is c at most as big as r?
False
Let w be (1 + -5)/(416/(-104)). Which is greater: w or -2/4855?
w
Let s(h) = h + 1. Let k be s(5). Suppose -2*r - 10 = 0, 45 - 24 = -o - 5*r. Let b be ((-3)/4)/(k/o). Does b = 1/4?
False
Suppose r = t + 63, 106 = -5*t + r - 205. Do -64 and t have the same value?
False
Suppose -5*g + 2*d - 2 - 10 = 0, -2*g - 4*d = 0. Let n = g + 3. Let q(c) = -3*c**2 + 16*c - 7. Let b be q(5). Is b smaller than n?
True
Let p = -2892/7 + 406. Is p at least as big as -8?
True
Let q(y) = -y**2 + 4*y + 1. Let j be q(3). Suppose 5*i + 3*w + 2*w = -15, 0 = j*i - 5*w + 12. Which is bigger: i or -7/3?
-7/3
Suppose 0 = -m + 4 + 10. Suppose -5*i + 3*t - m = 0, -4*i - 6 = -3*t + 7. Let w be (2 + i - 3) + 3. Is w > 3?
False
Suppose 1195 = -20*z - 3145. Are z and -216 equal?
False
Let h = -75 + 139. Let v be 9/21*h/(-3). Is -8 greater than or equal to v?
True
Suppose 122 = 3*v - 4*l + 489, 5*v + 635 = 2*l. Is v at most -129?
True
Let f(t) = -t**3 - 5*t**2 + 50*t - 5. Let v be f(-9). Do v and -132 have the same value?
False
Suppose 0 = o + 3, -o + 39 = 2*m - 4*o. Suppose 0 = 3*f - 17 - 28. Is m <= f?
True
Let g be 2409/(-1057) - (3 - 5). Let i be ((-4)/(-906)*18/(-12))/(-1). Let p = i - g. Is p > -11?
True
Let w(m) = m**2 + 4*m - 2. Let b be (-201)/39 - (-4)/26. Let p be w(b). Let g be (p + -4)/1 - -1. Which is smaller: 1 or g?
g
Suppose -11*z + 14*z = 168. Let h = z + -53. Is 4 greater than h?
True
Suppose m - 46 = 2*j + 5, 0 = 5*m + 25. Let u = j - -50. Which is smaller: 21 or u?
21
Suppose 64*f - 60*f = 40. Suppose -4*h - f*h - 28 = 0. Is h at least 2?
False
Let z(p) = p**3 + 7*p**2 + 5*p - 5. Let o be z(-6). Let l = -0.425 - -0.025. Is l less than or equal to o?
True
Suppose -17 = -2*t - 2*q - 1, -4*q = 5*t - 42. Suppose 11*x - 21 = -t. Is x greater than or equal to -2/25?
True
Let r = 5100 + -3048. Are r and 2052 unequal?
False
Let m = -154 + 153.9. Let s be (-2)/(-2) + (-5)/(20/(-108)). Which is greater: m or s?
s
Let s = -0.036 - -0.536. Is 13 > s?
True
Let v(z) = z**2 + 2*z - 1. Let s = -33 - -33. Let r be v(s). Let x be 1/1 + (-6)/1. Do x and r have different values?
True
Let z = -675 + 599.6. Let m = 75 + z. Which is smaller: 0.5 or m?
m
Let p = 343/85 - -30/17. Let h = p + -6. Let g = h + 9/20. Which is smaller: 0 or g?
0
Let g(i) = -i. Let t be g(-7). Suppose -t*y + 2*y + 15 = 0, -3*l - 5*y = -3. Let r be (-4)/(-8) - (-22)/l. Is -3 <= r?
False
Let u(l) = -l**3 + 6*l**2 + 12*l + 4. Let g be u(-1). Does g = -1/3092?
False
Suppose -4*w - 2*r = -0*w - 2, 0 = 5*r + 5. Suppose -3*z - w = -4. Let q be ((2 - -1) + -4)/z. Is q >= -15/8?
True
Let n(l) = 5*l**2 + 90*l + 427. Let x be n(-5). Which is smaller: x or 103?
x
Let h be (9 + (0 - 5))/2. Let d be 84/(-623)*h/8. Is d > -1?
True
Let x be (2/6)/((-261)/27). Suppose 3*m - 10 = 6*z - 4*z, 10 = 2*m - 2*z. Are m and x equal?
False
Suppose t + 34 = v, -2*t + 0 - 10 = 0. Let m = v - 28. Let w be 2/9 - (-2)/(-3). Is m greater than w?
True
Let h = 392.43 + -393. Which is smaller: h or 5?
h
Suppose -7*p - 15 = -10*p. Let t be -2 - ((-34)/p + (2 - -1)). Is t at least 1?
True
Suppose -8*g + 5*g = 0. Which is smaller: g or 7/53?
g
Let m(d) = 6*d - 192. Let l be m(35). Which is greater: -3 or l?
l
Suppose -16 = 128*z - 144*z. Are z and -4/561 unequal?
True
Let o = -1.27 + 1.37. Is 841 at least as big as o?
True
Let p = 14 + -14.043. Let v = -0.343 - p. Which is bigger: v or -1?
v
Suppose -48 = 12*j + 132. Let q be 121/33*(-9)/j. Is 2 at most q?
True
Let g(o) = -3*o**2 + 12*o + 33. Let s be g(-4). Let t = -5 + 4. Which is bigger: t or s?
t
Suppose 10 = -7*f - 3*f. Which is bigger: 7/23 or f?
7/23
Suppose -13*v + 2 = -11*v. Which is smaller: v or 2/3?
2/3
Let k(l) = -l**3 + 18*l**2 + 2*l - 1. Let n be k(18). Let i be (-14)/49 - (-24)/n. Which is smaller: 0.42 or i?
i
Let r = 1479/5 + -293. Suppose 3*v = 3*b - 27 + 6, 20 = 5*b - 2*v. Which is greater: b or r?
r
Let d(t) = -t**3 + 7*t**2 + 7*t + 8. Suppose 0 = -m + 8 - 0. Let k be d(m). Let g = -31 - -30. Is g less than k?
True
Suppose 5*s = -62 - 63. Let n = s + 46. Suppose f = -4*r - n, 2*r + 4*f - 1 = 3*r. Is r smaller than -7?
False
Suppose 3*g + 14 = -22. Suppose -6 = -2*z, 3*x = 6*x - 3*z + 51. Which is smaller: g or x?
x
Suppose 3*b + 10 = 10*n - 15*n, 3*n + 4*b - 5 = 0. Is n at most as big as -7/2?
True
Let x = -40 - -24. Do x and -81/5 have the same value?
False
Suppose 2*n - 6 = -8. Which is bigger: n o