/12. Suppose -2*a = y + x - 3, y + 5*a + 13 = 0. Suppose 3*d + f + 0*f = 31, 0 = -y*f + 8. Which is greater: d or -0.2?
d
Let b = -15310/7 + 2191. Are 3 and b nonequal?
True
Let z = -94 - -94. Let m be z + ((-40)/25)/2. Is m smaller than -2?
False
Let b(u) = u + 15. Let x be b(-15). Suppose -s = -3*c - 11, x = 2*c + 4*s - 6*s + 2. Suppose -5*h = -2 - 13. Which is bigger: h or c?
h
Let q be 1 - (24 + 2 - 0 - -2). Which is smaller: 3 or q?
q
Let n(q) = -q**2 + 32*q - 61. Let a be n(30). Which is bigger: -59 or a?
a
Let y = 0.1046 - 0.0456. Which is greater: 0 or y?
y
Let u be 2 - 40/18 - (-28)/126. Is u less than or equal to -2/185?
False
Suppose 180*v - 178*v = 5294. Let l = v + -240881/91. Which is smaller: 0 or l?
l
Let k be (0/(2/(-7 - -5)))/1. Is 29/49 != k?
True
Let m be (2 - 0)*41*(-43)/(-86). Let i = m + -44. Let q be 1/1*(-1 + -1). Which is bigger: i or q?
q
Let b = -84.8 + 78. Let a = b - -5. Let x = a - -1.7. Which is greater: x or 1.7?
1.7
Suppose 0 = t - 3*m + 12, -2*m + 3 = -3*t + 2. Suppose -10 = t*z + 11. Which is greater: -9 or z?
z
Suppose 2*r - 24 = -5*a + 6*a, 14 = 3*r + 4*a. Which is smaller: 24 or r?
r
Let v = -7 + 3. Let w be 17/68 - 9/v. Suppose -5*k + 7 = -3. Which is greater: w or k?
w
Let p = -120/7 + 227/21. Which is greater: -6 or p?
-6
Suppose 9*x - l = 4*x + 621, -491 = -4*x - 5*l. Which is smaller: 125 or x?
x
Let a = 462 - 464. Is a at most -7/12?
True
Let s = 717.9 - 718. Which is bigger: 133 or s?
133
Let y be -114*(-11)/66*1. Is 13 less than or equal to y?
True
Let g = -25.14 - -17.1. Let f = g - -6. Let w = 0.04 + f. Which is smaller: w or 1/4?
w
Let s be 1/(-3)*18/(-6). Let q be 4 + -2 - (50/22 - s). Which is bigger: q or 2?
2
Suppose -7*o + 27180 = 29*o. Do o and 755 have the same value?
True
Suppose 8*a - 9*a - 27 = 0. Let b be ((-10)/(-126) - (-6)/a) + 3. Which is bigger: b or 3?
3
Let u = 1.2 - 1. Let l(x) = x - 7. Let m be l(17). Let r be (-46)/m + (-36)/(-9). Which is smaller: u or r?
r
Let p = -0.4 - -0.59. Let q = -7.81 - p. Let s = 7.7 + q. Is 1 at least as big as s?
True
Let r(i) = -4*i - 8. Let b be r(3). Let j be (98/(-35))/(22/b). Is j at least as big as 3?
False
Let s = -0.063 + -0.037. Let d = s + 0.2. Let x = -6 - -3. Are x and d equal?
False
Let y be (-10)/4*6/(-5). Suppose -4*f + 7 = -y*f - 4*h, -14 = 2*f - h. Which is greater: f or -3?
-3
Let s(b) = -b**2 - b - 1. Let r be s(-7). Let y = -56 - r. Is -12 bigger than y?
True
Let i be (32/4776)/(1*-2). Let t = i - -4201/6567. Let f = -251/429 + t. Is f at most as big as 0?
False
Let x = 236 - 256. Which is greater: x or -17?
-17
Let h = 102.9 + -103. Suppose 2*g + 77 = 9*g. Which is smaller: g or h?
h
Let k = 4607/676312 + -5/1858. Is 1 at most as big as k?
False
Let g = -1/24419 - -19266595/97676. Is g < 198?
True
Let b = 1.51 - 1.56. Are -27 and b nonequal?
True
Let k = 711 - 677. Which is smaller: k or -2/3?
-2/3
Let t(y) = y**2 - y - 2. Let c be t(0). Suppose 4*l + 27 = -2*z + 9, 21 = -5*z - 4*l. Let r = c - z. Which is smaller: 2 or r?
r
Let g = 1 + -22. Let c be (2 - -2 - 1)*(-68)/(-6). Let n = g + c. Which is smaller: n or 14?
n
Suppose 2*v = y - 3*y + 22, -23 = -2*y - 3*v. Let k = y + -7. Let q be (-4)/k + 1 + -3. Is q at least as big as -2?
False
Let f be (-28 - 1)*(0 + 1450/46). Let g = f + 914. Is -0.1 at most g?
False
Let w = -6.474 - -6.674. Let t = -2 + -28. Which is greater: t or w?
w
Let p = 47.41 + -47. Let a = p - 0.51. Is 16 at most a?
False
Let p be (3 + -1)/(2/(-8)). Let o be 2/p + (-875)/(-3724). Do o and 1 have the same value?
False
Let i be (4 - 2)*(-7)/14. Suppose 3*h + 0*h = 12. Let t(u) = -u**2 + 4*u. Let p be t(h). Which is smaller: p or i?
i
Suppose 11*q - 7*q = -40. Let l be (q/(-20))/(1/(-2)). Which is bigger: -12/17 or l?
-12/17
Let c be (-46)/115 - 62/(-5). Suppose 5*j - 19 = q, -2*j + 5*j = c. Is q at least 14?
False
Let w be ((-1)/(-3))/((-2)/(-570)). Suppose 0 = -5*k - 2*f + w, 0 = 3*k - k - 5*f - 9. Which is greater: k or 18?
18
Let a be -3*((-150)/40)/((-1)/(-8)). Is a > 90?
False
Suppose -3*i = -0*i. Let d be i/(-3) - 58/1560. Let z = d - 3/65. Which is greater: -0.1 or z?
z
Let h(d) = 9*d**3 - 43*d**2 - 8*d - 9. Let r be h(5). Let p = 22176 - 243054/11. Let n = p - 80. Do n and r have the same value?
False
Suppose 3*n - 387 = z - 0*n, 2*z + n + 781 = 0. Let x be (-25)/30*27/z. Is x greater than -1?
True
Let q be 1/((46/116)/(-1)). Is -3 greater than q?
False
Suppose -2*v = v + 3, 3*j + 3*v + 6 = 0. Let t be -2 + 1/2*j - -3. Is -1/4 greater than or equal to t?
False
Let k(q) = q**3 - 20*q**2 + 40*q - 14. Let r be k(18). Is r at most 58?
True
Let k = -1.07 - -1.3. Let h = -15.23 + k. Let u = 15.5 + h. Are u and 0.1 nonequal?
True
Let i be ((-52)/20 + (-2)/5)*-1. Is 1.5 less than or equal to i?
True
Suppose 2*o + 5*f - 15 = o, 0 = 5*o + 2*f - 6. Which is greater: 3/401 or o?
3/401
Suppose 5*t + 9 = 2*w, 6*w = 4*t + w + 14. Let v be 6/10*2/(-2). Is v at least t?
True
Let j = 21 + -22. Let g(u) = -3*u**2 + 2*u + 3. Let m be g(j). Let t be -1 - (1 - (-2)/2). Which is smaller: t or m?
t
Let d be (-8)/(-40) + (-992)/210. Let g = -2/259 + -2843/777. Let r = g - d. Is 2 bigger than r?
True
Suppose 0*i - 5*i = -g - 20, 2*i - 5*g - 31 = 0. Suppose 2*d + 2 = i*d. Suppose -d*f + 5*n - 5 - 2 = 0, 0 = 3*f - n + 4. Which is bigger: f or 7?
7
Suppose -r = -0*r. Suppose -5*p + 4 + 1 = r. Let s be 5 + 3 + -2 + p. Is 8 less than or equal to s?
False
Suppose 0 = 5*o, -5*i - 2*o = -34 + 9. Let x = 15 - 11. Which is smaller: i or x?
x
Suppose -9*z - 212 = -5*z. Let q = -38 - z. Suppose q*s = 10*s. Is -2/15 less than or equal to s?
True
Suppose q + 7 = j - 0*j, -q + 2*j = 12. Let r be (2/6)/(1/6). Suppose 0 = r*h + 3 - 5. Which is smaller: h or q?
q
Let k = -1147 - -600. Is k smaller than -546?
True
Let k be (5 + -4)/(3/(-9)). Let n be (k/(-34))/(6/11432). Let m = n - 168. Are m and 2 equal?
False
Let n = -1.57 - -0.27. Is n > 0.5?
False
Let t = -516 - -521. Is 4 < t?
True
Let s be (-1)/(-3 + 650/215). Let y = s - -39. Is y less than -5?
False
Suppose 15*d - 6*d + 297 = 0. Is -33 != d?
False
Let b = -169.4 - -169.4. Do -344/5 and b have different values?
True
Let h = -16694 - -16694. Let p = -16/9 + 19/9. Which is bigger: h or p?
p
Let b = 1 + 0. Let w = -11 - -13. Suppose 2*d + n = -6 + 3, w*n = -6. Are d and b equal?
False
Let y(h) = 352*h**2 - 1. Let l be y(-1). Is l < 351?
False
Suppose 9 = 2*o - o + 4*d, -31 = o - 4*d. Let v(r) = r + 25. Let z be v(o). Suppose 0 = 2*h + z + 6. Is -10 bigger than h?
False
Let v(l) = l**2 + 10*l + 3. Let x be v(-10). Suppose x*y + 4 - 2 = 2*g, -12 = 2*g + 4*y. Which is bigger: g or -13/4?
g
Suppose 0 = -5*c - 0*c + 2*r - 21, -c + 3*r + 1 = 0. Let k be 4/(-16)*2 + c/30. Are -1 and k equal?
False
Let q = -446 - -347. Which is bigger: -103 or q?
q
Suppose 44*q = 11*q - 231. Are 11 and q equal?
False
Let s be 19*(2 - 1)*-1. Suppose 3*g = -w - 30, 91 - 1 = -3*w + 3*g. Let y = s - w. Is 12 equal to y?
False
Let q = 2/13 + 9/26. Let l = 1.8 + 3.2. Let i = -4.2 + l. Which is bigger: i or q?
i
Let d = 29.965 + -30. Let o = d + -4.965. Is o at most as big as 0?
True
Let p = 0.2 - -0.8. Let m = 68 - 43. Let b be (m/(-40))/(-2 + (-10)/(-6)). Is p less than or equal to b?
True
Suppose 0 = 3*c - 5*a - 25, -4*c + 8 + 7 = -3*a. Which is greater: -3/50 or c?
c
Let x be ((-3)/(-21))/((-6)/(-42)) - -3. Let t be 19/(-3) + 2/6. Let c = x + t. Which is smaller: -3 or c?
-3
Suppose 0 = -g - 0*g. Let m(f) = 7*f**2 + 63*f + 18. Let j be m(-9). Let h be g/2 + j/(-6). Is -3 at least h?
True
Suppose 3*p = 8*p - 5. Let o = -330 + 2305/7. Which is greater: p or o?
p
Let s = 1.29 + -0.29. Are -12 and s non-equal?
True
Suppose 0 = -5*g - 15, 2*g = -r - 4*r - 6. Which is smaller: r or 6/197?
r
Let c = 0.1 + -0.2. Let f = -37.8 - 5.2. Let t = 32 + f. Is c > t?
True
Let h(l) = -l**3 + 9*l**2 - 20*l + 32. Let y be h(6). Which is smaller: y or 21?
y
Let c = -9 + 9.7. Let r = c - -2.3. Let b = -1.3 - -1.3. Is b < r?
True
Let j(d) = 2*d**2 - 52*d. Let i be j(26). Which is bigger: 134 or i?
134
Let x = -11473160 - -8960533394/781. Let m = -64/11 - x. Do -1 and m have different values?
True
Let c(t) = -t - 2. Let p be c(-2). Suppose p = -0*o + 2*o + 2. Let y be 8/(-126) - (8 - 630/81). Which is greater: o or y?
y
Let l(p) = -3