 7?
True
Let o = 6757.42 + -6687. Let q = o + 1.58. Let x = q + -71.97. Is x less than or equal to 3/7?
True
Let l be (-15 + -9)*(-1)/2. Suppose 34*v - 30*v - l = 0. Let a be 534/18 + (-1)/v. Is 29 smaller than a?
True
Let x = 2244 + -2245. Which is bigger: -3579 or x?
x
Let v = -3328 + 3353. Is 12 > v?
False
Let w be ((-270)/14)/3 + (-4)/7. Let m(j) = -j**2 - 10*j - 7. Let h be m(-9). Are w and h non-equal?
True
Let p = 470 + -1151. Let l = 398 + p. Do 1/2 and l have the same value?
False
Suppose -k = -4*o + 1842, -k + 12 = -5*o + 1851. Are -1853 and k equal?
False
Suppose 35*f = 23*f + 12. Suppose -5*v + 3*h + f = -403, 2*v + 5*h - 174 = 0. Let d = 85 - v. Which is smaller: 1 or d?
1
Let o(f) = -74*f + 75. Let a be o(1). Is a at least 11/287?
True
Let l(i) = 23*i**2 - 37*i + 2. Let n be l(-2). Let u be (((-22352)/n)/11)/(2/(-6)). Is u at least as big as 37?
False
Let w = -4 + 3. Let d(t) = -3*t**3 - 2*t**2 + 2*t - 6. Let j be d(-6). Let m be (-315)/j + (-3)/(-6). Is w != m?
True
Suppose 0 = 4*q + 5*v - 15, 3*q - 2*q - 5 = -v. Let h be (-12 - -11 - q/(-6))/(-46). Which is bigger: h or -0.1?
h
Suppose p + 14 = 5*g - 31, -5*p + 4*g = 120. Suppose -i - 19 = -5*c, -6*c + 5*c + i = -7. Suppose -d + 3*n - 15 = 0, c*d - 4*d - 5*n - 31 = 0. Is d at most p?
True
Let w = 15553 - 15554. Do w and 53/137 have the same value?
False
Let u be ((-15)/5)/(9/(-6) - -3). Let a(d) = 4*d + 1. Let m be a(u). Are -5 and m equal?
False
Suppose -4*o + 4169 = 7*o. Let h = -275 + o. Which is smaller: 316/3 or h?
h
Let d be (-160)/24*-19*46/(-10925). Let j = -3 - -2. Which is smaller: d or j?
j
Let q = 3256 + -3510. Is -253 equal to q?
False
Let i = -15076 + 18989. Which is smaller: 3912 or i?
3912
Let t = 13 - 8. Suppose -2*l = -u - 4*l + 3, -t*l + 15 = 0. Let d be (-20)/(-192)*-3*u/60. Which is bigger: d or 0?
d
Suppose -5*b - 37 - 33 = 0. Let k = -11 - b. Suppose q - k*i = i + 15, 0 = -2*q - 5*i - 9. Is 2 at least as big as q?
False
Let x = -0.1 - -8.1. Let r = -8 + x. Let h = -0.12672 + -0.01328. Which is greater: h or r?
r
Let l = -75.67607 + -0.23293. Let p = l + 76. Which is smaller: 2 or p?
p
Let c = -48395/9 - -5377. Which is smaller: c or 21/26?
c
Let l be 5 + -1 - 0 - -18. Let x(q) = -q + 23. Suppose 5*c + 2 = m, -m - 3*m + 8 = c. Let j be x(c). Which is smaller: j or l?
l
Let t = 1.191 - 0.591. Is 13/7 <= t?
False
Let c = 67 - 102.1. Let z = -35 - c. Which is smaller: z or 1/15?
1/15
Let f(y) = -157*y + 2609. Let w be f(17). Let q(z) = 14*z + 7. Let p be q(-6). Let n = w - p. Which is smaller: n or 18?
n
Let h = -9361 - -74410591/7949. Which is smaller: h or -1?
-1
Let q = -18.874 + 19.874. Is 4355 smaller than q?
False
Let p be 261 + ((-60)/5)/(-3) + 1. Let m = -1871/7 + p. Which is bigger: 0 or m?
0
Let s = -11770 + 11811. Which is greater: s or 32?
s
Suppose -d = z + 59 + 39, -4*d = -4*z - 360. Let l = z - -59. Is l not equal to -36?
True
Let y = -18 + 30. Suppose 4*g - 260 = -92. Suppose -57*p + 60*p = g. Are y and p unequal?
True
Let u be (-3763)/(-142) + (-171)/(-38). Let a = -8 + 17. Let k be 291/a - (-2)/(-6). Is u greater than k?
False
Suppose 0 = 23*y - 574 + 551. Is y at least -3518?
True
Let n(v) = 38*v**2 - 68*v**2 + 35*v**2 + 51*v + 10. Let u be n(-10). Are u and -2/25 nonequal?
True
Let w = 10373/244 + -8695651/206668. Let h be 3*(-1)/(-99)*12/(-44). Let x = w + h. Are 2/15 and x unequal?
True
Suppose -2*u + 200 = 6*u. Suppose 3*z = -2*z + u, -30 = 5*p + z. Is -33/4 smaller than p?
True
Let b = 589 + -572. Suppose 26 - b = -9*c. Let t be 16 - (2 + 0) - -1. Is t smaller than c?
False
Suppose a + 0*v - 3*v = 20, 4*a - 4*v = 40. Let s = -94 - -98. Let o be (6/(-5))/((-21)/a + s). Which is smaller: 29/5 or o?
29/5
Let q(d) = -d**2 - 4*d + 6. Let w be q(4). Let r = -32643/2 - -16295. Which is smaller: w or r?
r
Let t be 1 + 0 + 1 - -11. Suppose -218*h + 222*h + 560 = 0. Let a = 149 + h. Is a less than t?
True
Suppose -4*v + h - 3199 = 0, 3*h = v + 1111 - 314. Let j be ((-16)/v)/(1/(-6)). Let c = 32 + -31. Which is bigger: c or j?
c
Let u = -9154 + 9156. Let j be (5/15)/((-4)/3). Which is bigger: j or u?
u
Let g = 110186/1989 + -720/13. Let w(x) = -4*x + 4. Let b be w(1). Which is greater: b or g?
g
Suppose 0 = -8*f - 8 - 0. Let y be (-6 + 5 + 1)/f. Which is greater: 3/166 or y?
3/166
Let w = 181 - 79. Let j be (4/8)/((-1)/202). Let s = w + j. Which is smaller: 2/11 or s?
2/11
Suppose 4*u - 784 = 3*i, -u - 15*i = -18*i - 196. Let a = 159 - u. Do a and -35 have different values?
True
Suppose -5*c - 5 = 0, 50*f - 1020 = 49*f - c. Does f = 1018?
False
Let g be (32/6 - 2)*192/128. Suppose 0 = 5*u - a - 68, -g*u - 2*a - 19 + 93 = 0. Is 19 at most as big as u?
False
Let z = 1921/7620 + -4/1905. Is -4/5 at most z?
True
Let a be 12278/(-143304) + 7/84. Is 0.03 equal to a?
False
Suppose -2*i + 2*x = -4*i + 12, 2 = i + 3*x. Let q(p) = -12*p - 6*p**3 - 11*p**3 - 9 - i*p**3 + 24*p**3 - 4*p**2. Let b be q(-5). Are 76 and b unequal?
False
Let p = 69 + -158. Let o = p - -268/3. Suppose 0 = 2*c + 3*k - 4, 3*k = 6. Is c smaller than o?
True
Let c = 76.871 + 0.129. Let q = -0.0422 - 0.2578. Which is bigger: q or c?
c
Suppose -35*x + 29*x + 58 = 52*x. Which is smaller: 5/4614 or x?
5/4614
Let d = -2232 - -2233.249. Let v = 1.34 - d. Let c = -0.031 + v. Which is smaller: 0 or c?
0
Let a(k) = -k**3 + k**2 + 11*k + 5. Suppose 0 = 3*r - d - 2, 4*d + 8 = -7*r + 4*r. Let n be a(r). Which is bigger: n or 2?
n
Suppose 13*u + 36 = 140. Suppose 9*s = -u*s - 17. Which is greater: 8/33 or s?
8/33
Suppose 46*r - 5 = -51. Let k be (-2 + 1)*6/43. Which is greater: r or k?
k
Let d = -242 - -244. Suppose -6*x + 7*x + d = -2*r, 3 = 3*r + 3*x. Which is smaller: r or -50?
-50
Suppose 74 - 74 = 114*m. Is m less than -0.0026?
False
Let c = 188 + -92. Let j be (-2)/4*c/(-66). Suppose -6*y + 2*s = -2*y + 2, -3 = -4*y - 3*s. Which is smaller: y or j?
y
Let b(p) = p**3 - 20*p**2 + 20*p - 16. Let d be b(19). Suppose 0*o - 4*o - 12 = -5*w, d*w - 4*o = 12. Which is greater: w or -6/13?
w
Suppose 3*f + 5369 = 6698. Is f smaller than 442?
False
Let f = 90 + -4. Suppose -5*l + 7*l = 5*h - 222, l + 111 = -3*h. Let n = f + l. Is -25 != n?
False
Let f = -4322 + 4322.8. Which is smaller: f or -75?
-75
Let h be -5*(768/315 - 2). Let f = 16/21 + h. Is -2 less than or equal to f?
True
Let p = -2663.08 - -2653.08. Suppose j + 4*t = 14, -t + 3*t = 4. Let o be (j/(-4))/((-54)/(-8)). Are p and o equal?
False
Let c = 215692/3 - 73502. Let d = c - -1622. Is 17 at most as big as d?
True
Suppose -4*o + 96 = -2*o - 4*b, -5*b = 5. Suppose -2*u + 5*x = u - 19, -5*u + 4*x + 10 = 0. Let h be 368/(-12)*3/u. Is o at least as big as h?
True
Suppose -17 + 27 = -z - 2*g, -3*z + 6 = -3*g. Let n be 1 + (0/z)/(19 - 18). Which is greater: 2/1211 or n?
n
Suppose 714603 = -6*j - 187*j - 168758. Is -4575 < j?
False
Suppose -4*c = -6*c + 5*g - 10, 4*g = -2*c + 8. Let n be ((-1140)/2550)/19*5/(-9). Which is greater: n or c?
n
Let b = 177.9 - 30.9. Let c = -419 + b. Is c at most -0.1?
True
Let r be (-1 - -3)/(-13 + 2). Let v = -331.965664 - 0.044336. Let o = -332 - v. Which is greater: r or o?
o
Let r = 148 - 145. Suppose -2*a - r*f = 4, 5*f = 10*f + 20. Let x be (-10)/12*(-9)/2. Which is smaller: x or a?
x
Suppose -76463 = 45*i + 43732. Is -2672 not equal to i?
True
Suppose 4*o + 3*u + 252 = 0, -2*o + 2*u - 3*u - 126 = 0. Let w = o - -313/5. Suppose -7*c = -6*c. Is w less than c?
True
Let m = 688/3 - 242173/1056. Let k = m + 667/13024. Is k greater than -1?
True
Let g = 1691/9735 - 143/885. Suppose 2*p - 8 = 6*p + 2*c, -3*p = -c - 4. Which is smaller: p or g?
p
Let i = -2632/101397 - 2/1389. Suppose -180*x - 182*x = -79*x + 283. Is i >= x?
True
Suppose 4*f + 178 - 158 = -4*b, -11*f = -b + 7. Which is bigger: -24.6 or b?
b
Let d = 89.3 - 98.5. Let p = 0.18 + 2.32. Let v = p - 2.4. Is v greater than or equal to d?
True
Let a = 3.131 - 48.031. Let x = 0.008 + 44.992. Let p = a + x. Does p = 0.07?
False
Let h be 364/3 + (-28)/21. Do h and 117 have different values?
True
Suppose -27*k + 20 = -22*k. Suppose -g - c = k*c + 52, 0 = -g - 3*c - 44. Let u = g - -32. Is u less than -6/23?
False
Let o = -5904 - -5904. Which is smaller: -88/93 or o?
-88/93
Suppose -3*i = 27, -4*q - 1171 = -23*i + 26*i. Do -27 and q have different values?
True